741 search results - page 70 / 149 » Verification of security protocols using LOTOS-method and ap... |
139
click to vote
DFN
2004
15 years 5 months ago
2004
: Ubiquitous worldwide broadband Internet access as well the coming of age of VoIP technology have made Voice-over-IP an increasingly attractive and useful network application. Cur...
119
Voted
WS
2004
ACM
15 years 9 months ago
2004
ACM
Many studies on measurement and characterization of wireless LANs (WLANs) have been performed recently. Most of these measurements have been conducted from the wired portion of th...
147
click to vote
WMI
2001
15 years 5 months ago
2001
This paper presents a novel wireless access point architecture designed to support the development of next generation mobile context-aware applications over metropolitan scale are...
150
click to vote
COMSWARE
2008
IEEE
15 years 10 months ago
2008
IEEE
— We design a framework that implements security at the TCP layer to meet the necessity for a practical and truly end-to-end security solution. We call our framework TCPsec. TCPs...
142
Voted
NDSS
2000
IEEE
15 years 8 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...