300 search results - page 29 / 60 » Formal Methods for Smartcard Security |
118
click to vote
IPL
2006
15 years 2 months ago
2006
We present complexity results for the verification of security protocols. Since the perfect cryptography assumption is unrealistic for cryptographic primitives with visible algebr...
123
click to vote
SP
2006
IEEE
15 years 9 months ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
108
click to vote
SP
1997
IEEE
15 years 7 months ago
1997
IEEE
This paper discusses the development of a methodology for reasoning about properties of security policies. We view a security policy as a special case of regulation which specifi...
140
click to vote
LICS
1999
IEEE
15 years 7 months ago
1999
IEEE
Security protocols use cryptography to set up private communication channels on an insecure network. Many protocols contain flaws, and because security goals are seldom specified ...
147
Voted
ESORICS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....