215 search results - page 9 / 43 » Analyzing Security Protocols Using Time-Bounded Task-PIOAs |
ITRE
2005
IEEE
14 years 2 months ago
2005
IEEE
RSVP and RSVP-TE are signaling protocols used to set up paths and/or support Quality of Service (QoS) requirements in IP and MPLS-based networks, respectively. This paper analyzes...
NDSS
1997
IEEE
14 years 27 days ago
1997
IEEE
The Internet Engineering Task Force (IETF) is in the process of adopting standards for IP-layer encryption and authentication (IPSEC). We describe how “probable plaintext” can...
PERCOM
2003
ACM
14 years 8 months ago
2003
ACM
In pervasive computing environments, powerful handheld devices with wireless connections create opportunities for many new nomadic applications. We propose a new service discovery...
CCS
2001
ACM
14 years 1 months ago
2001
ACM
Although there is a substantial amount of work on formal requirements for two and three-party key distribution protocols, very little has been done on requirements for group proto...
ADHOCNOW
2009
Springer
13 years 9 months ago
2009
Springer
The increased functionality of EPC Class1 Gen2 (EPCGen2) is making this standard a de facto specification for inexpensive tags in the RFID industry. Recently three EPCGen2 complian...