5488 search results - page 72 / 1098 » On the Secure Implementation of Security Protocols |
CCS
2010
ACM
15 years 23 hour ago
2010
ACM
WISA
2010
Springer
14 years 9 months ago
2010
Springer
CSFW
2000
IEEE
15 years 4 months ago
2000
IEEE
In this paper we present an improved logic for analysing authentication properties of cryptographic protocols, based on the SVO logic of Syverson and van Oorschot. Such logics are...
CSFW
2008
IEEE
15 years 1 months ago
2008
IEEE
The IEEE 802.11s working group is tasked to provide ways of establishing and securing a wireless mesh network. One proposal establishes a Mesh Security Architecture (MSA), with a ...
CSFW
2003
IEEE
15 years 5 months ago
2003
IEEE
A type confusion attack is one in which a principal accepts data of one type as data of another. Although it has been shown by Heather et al. that there are simple formatting conv...