270 search results - page 23 / 54 » Verifying Second-Level Security Protocols |
FC
2000
Springer
14 years 6 days ago
2000
Springer
Abstract Two protocols for authentication based on symmetric key cryptography are described, where the verifier can be implemented in software completely, without the need for secu...
ICDCSW
2007
IEEE
14 years 2 months ago
2007
IEEE
Recent secure code-update protocols for sensor networks have been based on asymmetric-crypto primitives such as digital signatures. Our approach, Castor, explores the feasibility ...
CSFW
2002
IEEE
14 years 1 months ago
2002
IEEE
The strand spaces model and the rank functions model have both been used successfully to analyse and verify security protocols running on unbounded networks. At first sight, thes...
SP
2008
IEEE
13 years 7 months ago
2008
IEEE
e an abstraction of zero-knowledge protocols that is le to a fully mechanized analysis. The abstraction is formalized within the applied pi-calculus using a novel equational theor...
CSFW
1993
IEEE
14 years 22 days ago
1993
IEEE
Machines for Communication Security Pierre Bieber, Nora Boulahia-Cuppens Thomas Lehmann, Erich van Wickeren ONERA-CERT CAP debis GEI 2 Av. E. Belin Oxfordstr. 12-16 F-31055, Toulou...