2162 search results - page 190 / 433 » A Meta-Notation for Protocol Analysis |
262
click to vote
ECOOP
2009
Springer
16 years 6 months ago
2009
Springer
Reusable APIs often dene usage protocols. We previously developed a sound modular type system that checks compliance with typestate-based protocols while aording a great deal of al...
149
click to vote
CAISE
2007
Springer
16 years 6 days ago
2007
Springer
Abstract. Internet users are becoming increasingly concerned about their personal information being collected and used by Web service providers. They want to ensure that it is stor...
169
click to vote
BROADNETS
2005
IEEE
15 years 11 months ago
2005
IEEE
- In this paper, we study and quantify the impact of the most widely used security protocols, such as 802.1x, EAP, IPSEC, SSL and RADIUS, in wireless local area networks (WLANs). B...
144
click to vote
COLCOM
2005
IEEE
15 years 11 months ago
2005
IEEE
Distributed systems are typically designed for scale and performance first, which makes it difficult to add security later without affecting the original properties. This paper ...
176
click to vote
IPPS
2005
IEEE
15 years 11 months ago
2005
IEEE
1 Electronic fair-exchange protocols have received significant attention from the research community in the recent past. In loose terms, the fair exchange problem is defined as at...