5488 search results - page 43 / 1098 » On the Secure Implementation of Security Protocols |
112
click to vote
TACAS
2007
Springer
15 years 5 months ago
2007
Springer
We describe a new algorithm for analysing security protocols that use XOR, such as key-management APIs. As a case study, we consider the IBM 4758 CCA API, which is widely used in t...
FOSAD
2007
Springer
15 years 6 months ago
2007
Springer
SPW
2004
Springer
15 years 5 months ago
2004
Springer
CSFW
2005
IEEE
15 years 5 months ago
2005
IEEE
We study an automatic technique for the verification of cryptographic protocols based on a Horn clause model of the protocol. This technique yields proofs valid for an unbounded ...
100
click to vote
AINA
2004
IEEE
15 years 3 months ago
2004
IEEE
IEEE 802.1x and authentication server based security protocols are mainly used for enhancing security of wireless networks. In this paper, we specify PAP and EAP-MD5 based securit...