375 search results - page 28 / 75 » What is Correctness of Security Protocols |
FSTTCS
2003
Springer
14 years 26 days ago
2003
Springer
Tagging schemes have been used in security protocols to ensure that the analysis of such protocols can work with messages of bounded length. When the set of nonces is bounded, this...
ACNS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. In the paper “Stronger Security of Authenticated Key Exchange” [1,2], a new security model for authenticated key exchange protocols (eCK) is proposed. The new model i...
EUROCRYPT
2000
Springer
13 years 11 months ago
2000
Springer
Voting schemes that provide receipt-freeness prevent voters from proving their cast vote, and hence thwart vote-buying and coercion. We analyze the security of the multi-authority ...
ICMB
2005
IEEE
14 years 1 months ago
2005
IEEE
SIP appears to be a powerful and useful signaling protocol supporting mobility for wireless IP networks but it has inherent weaknesses and dangers. This paper is a study on the se...
ICDCS
2005
IEEE
14 years 1 months ago
2005
IEEE
Securing data is becoming a crucial need for most internet-based applications. Whereas the problem of data confidentiality has been widely investigated, the problem of how to ens...