1653 search results - page 9 / 331 » Timed analysis of security protocols |
CSFW
2009
IEEE
14 years 2 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
13 years 8 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...
FSEN
2007
Springer
14 years 1 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
13 years 12 months ago
2000
IEEE
CCS
2010
ACM
13 years 7 months ago
2010
ACM