1875 search results - page 29 / 375 » Automatic Network Protocol Analysis |
141
click to vote
MOBIWAC
2009
ACM
15 years 9 months ago
2009
ACM
Rapid evolution of wireless networking has provided wide-scale of different wireless access technologies like Bluetooth, ZigBee, 802.11a/b/g, DSRC, 3G UMTS, LTE, WiMAX, etc. The c...
129
click to vote
NDSS
2000
IEEE
15 years 6 months ago
2000
IEEE
We analyze an optimistic contract signing protocol of Asokan, Shoup, and Waidner as a case study in the applicability of formal methods to verification of fair exchange protocols...
129
click to vote
NCA
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper proposes the modeling and the performance analysis of a high-level control protocol – COCOP, which enables cooperative groups of clients to control a shared server de...
119
Voted
ICALP
2001
Springer
15 years 6 months ago
2001
Springer
A cryptographic protocol can be described as a system of concurrent processes, and analysis of the traces generated by this system can be used to verify authentication and secrecy ...
107
click to vote
CIIT
2004
15 years 3 months ago
2004
UPnP is a widely-spread connectivity standard, which allows networked devices to cooperate in an autonomous fashion by using functionality found on the network. In this article we...