576 search results - page 68 / 116 » Modeling Adversaries in a Logic for Security Protocol Analys... |
ATVA
2009
Springer
14 years 3 months ago
2009
Springer
We present a data symmetry reduction approach for model temporal-epistemic logic. The technique abstracts the epistemic indistinguishably relation for the knowledge operators, and ...
CCS
2008
ACM
13 years 11 months ago
2008
ACM
Wireless communication enables a broad spectrum of applications, ranging from commodity to tactical systems. Neighbor discovery (ND), that is, determining which devices are within...
EMSOFT
2006
Springer
14 years 16 days ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
ISADS
1999
IEEE
14 years 1 months ago
1999
IEEE
We designed a secure key registration system based on the proactive secret-sharing scheme. A user can register important data such as a session key to a distributed system in a (t...
EUROCRYPT
2005
Springer
14 years 2 months ago
2005
Springer
Biometric data offer a potential source of high-entropy, secret information that can be used in cryptographic protocols provided two issues are addressed: (1) biometric data are n...