270 search results - page 34 / 54 » Verifying Second-Level Security Protocols |
CSFW
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper contrasts two existing type-based techniques for the analysis of authentication protocols. The former, proposed by Gordon and Jeffrey, uses dependent types for nonces a...
INFOCOM
2002
IEEE
14 years 1 months ago
2002
IEEE
Forcing all IP packets to carry correct source addresses can greatly help network security, attack tracing, and network problem debugging. However, due to asymmetries in toda...
ICDCSW
2003
IEEE
14 years 1 months ago
2003
IEEE
Most ad hoc networks do not implement any network access control, leaving these networks vulnerable to resource consumption attacks where a malicious node injects packets into the...
ICNP
2007
IEEE
14 years 2 months ago
2007
IEEE
The current Internet addressing architecture does not verify the source address of a packet received and forwarded. This causes serious security and accounting problems. Based on t...
MOBIHOC
2005
ACM
14 years 8 months ago
2005
ACM
Mobile ad hoc networks (MANETs) are vulnerable to routing attacks, especially attacks launched by non-cooperative (selfish or compromised) network members and appear to be protoco...