375 search results - page 8 / 75 » What is Correctness of Security Protocols |
CORR
2011
Springer
13 years 2 months ago
2011
Springer
— In recent times, many protocols have been proposed to provide security for various information and communication systems. Such protocols must be tested for their functional cor...
ASIACRYPT
2001
Springer
13 years 11 months ago
2001
Springer
One interesting and important challenge for the cryptologic community is that of providing secure authentication and identification for unassisted humans. There are a range of prot...
FUIN
2007
13 years 7 months ago
2007
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 session and ...
SP
2000
IEEE
13 years 11 months ago
2000
IEEE
Tradeoffs are an important part of engineering security. Protocol security is important. So are efficiency and cost. This paper provides an early framework for handling such aspec...
ACSAC
1999
IEEE
13 years 12 months ago
1999
IEEE
We propose in this paper a practical and secure electronic voting protocol for large-scale online elections. Our protocol satisfies a large set of important criteria that has neve...