2162 search results - page 103 / 433 » A Meta-Notation for Protocol Analysis |
NDSS
2002
IEEE
14 years 1 months ago
2002
IEEE
There have been a number of protocols proposed for anonymous network communication. In this paper we investigate attacks by corrupt group members that degrade the anonymity of eac...
CCS
2001
ACM
14 years 1 months ago
2001
ACM
The reachability problem for cryptographic protocols with nonatomic keys can be solved via a simple constraint satisfaction procedure.
MOBICOM
1999
ACM
14 years 1 months ago
1999
ACM
This study is a comparison of three routing protocols proposed for wireless mobile ad-hoc networks. The protocols are: Destination Sequenced Distance Vector (DSDV), Ad-hoc On dema...
ISW
2009
Springer
14 years 3 months ago
2009
Springer
We analyze the Password Authenticated Connection Establishment (PACE) protocol for authenticated key agreement, recently proposed by the German Federal Office for Information Secur...
IPPS
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper presents general techniques for formally modeling, simulating, and model checking real-time resource-sharing protocols in Real-Time Maude. The “scheduling subset” o...