29 search results - page 5 / 6 » Typed Multiset Rewriting Specifications of Security Protocol... |
CORR
2010
Springer
13 years 5 months ago
2010
Springer
In Mobile Ad hoc Networks (MANET), various types of Denial of Service Attacks (DoS) are possible because of the inherent limitations of its routing protocols. Considering the Ad ho...
CROSSROADS
2004
13 years 5 months ago
2004
In Mobile Ad hoc Networks (MANET), various types of Denial of Service Attacks (DoS) are possible because of the inherent limitations of its routing protocols. Considering the Ad h...
STOC
2007
ACM
14 years 5 months ago
2007
ACM
A zero-knowledge proof allows a prover to convince a verifier of an assertion without revealing any further information beyond the fact that the assertion is true. Secure multipar...
CCS
2008
ACM
13 years 7 months ago
2008
ACM
Recent work has established the importance of automatic reverse engineering of protocol or file format specifications. However, the formats reverse engineered by previous tools ha...
LCN
2000
IEEE
13 years 9 months ago
2000
IEEE
Virtual private networks (VPNs) allow two or more parties to communicate securely over a public network. Using cryptographic algorithms and protocols, VPNs provide security servic...