1653 search results - page 9 / 331 » Timed analysis of security protocols |
CSFW
2009
IEEE
15 years 4 months ago
2009
IEEE
Cryptographic protocols are crucial for securing electronic transactions. The confidence in these protocols can be increased by the formal analysis of their security properties. ...
ISICT
2003
14 years 11 months ago
2003
: Cryptographic protocols are used to achieve secure communication over insecure networks. Weaknesses in such protocols are hard to identify, as they can be the result of subtle de...
76
Voted
FSEN
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a s...
CSFW
2000
IEEE
15 years 2 months ago
2000
IEEE
60
Voted
CCS
2010
ACM
14 years 10 months ago
2010
ACM