4111 search results - page 179 / 823 » Security, Protocols, and Trust |
CJ
2007
13 years 10 months ago
2007
In this paper we show that the group key agreement protocol proposed by Tseng suffers from a number of serious security vulnerabilities.
CSFW
2008
IEEE
14 years 5 days ago
2008
IEEE
We present a general technique for modeling remote electronic voting protocols in the applied pi-calculus and for automatically verifying their security. In the first part of this...
CCS
2008
ACM
14 years 12 days ago
2008
ACM
We describe reference implementations for selected configurations of the user authentication protocol defined by the Information Card
ISLPED
2003
ACM
14 years 3 months ago
2003
ACM
Security is critical to a wide range of wireless data applications and services. While several security mechanisms and protocols have been developed in the context of the wired In...
ASIACRYPT
2005
Springer
14 years 4 months ago
2005
Springer
The security of key agreement protocols has traditionally been notoriously hard to establish. In this paper we present a modular approach to the construction of proofs of security ...