375 search results - page 30 / 75 » What is Correctness of Security Protocols |
ACSAC
2008
IEEE
14 years 2 months ago
2008
IEEE
A large number of papers have proposed cryptographic protocols for establishing secure group communication. These protocols allow group members to exchange or establish keys to en...
ACISP
2009
Springer
14 years 2 months ago
2009
Springer
Denial of service resilience is an important practical consideration for key agreement protocols in any hostile environment such as the Internet. There are well-known models that ...
Publication
A number of authentication protocols have been proposed recently, where at least some part of the authentication is performed during a phase, lasting $n$ rounds, with no error corr...
VOTEID
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. End-to-end auditable voting systems are expected to guarantee very interesting, and often sophisticated security properties, including correctness, privacy, fairness, rec...
CRYPTO
2006
Springer
13 years 11 months ago
2006
Springer
In the setting of multiparty computation, a set of parties wish to jointly compute a function of their inputs, while preserving security in the case that some subset of them are co...