1653 search results - page 185 / 331 » Timed analysis of security protocols |
124
Voted
CCS
2009
ACM
15 years 6 months ago
2009
ACM
Device attestation is an essential feature in many security protocols and applications. The lack of dedicated hardware and the impossibility to physically access devices to be att...
125
Voted
DATE
2009
IEEE
15 years 9 months ago
2009
IEEE
—As multiprocessor systems are increasingly used in real-time environments, scheduling and synchronization analysis of these platforms receive growing attention. However, most kn...
148
click to vote
PSTV
1992
15 years 3 months ago
1992
We study the effect of three new reduction strategies for conventional reachability analysis, as used in automated protocol validation algorithms. The first two strategies are imp...
99
Voted
JCM
2007
15 years 2 months ago
2007
—IPSec is a suite of protocols that adds security to communications at the IP level. Protocols within the IPSec suite make extensive use of cryptographic algorithms. Since these ...
103
Voted
ICDCSW
2003
IEEE
15 years 7 months ago
2003
IEEE
Nodes in ad hoc networks generally transmit data at regular intervals over long periods of time. Recently, ad hoc network nodes have been built that run on little power and have v...