5488 search results - page 108 / 1098 » On the Secure Implementation of Security Protocols |
149
Voted
IJNSEC
2007
15 years 4 months ago
2007
A protocol for secure communication between set-top box and smart card in conditional access system is proposed. The proposed protocol uses the Schnorr identification scheme to a...
117
Voted
COMCOM
2000
15 years 4 months ago
2000
We explain how the formal language LOTOS can be used to specify security protocols and cryptographic operations. We describe how security properties can be modelled as safety prop...
146
click to vote
FOCS
2006
IEEE
15 years 10 months ago
2006
IEEE
There is a vast body of work on implementing anonymous communication. In this paper, we study the possibility of using anonymous communication as a building block, and show that o...
125
click to vote
SECRYPT
2008
15 years 5 months ago
2008
Distance-bounding protocols have been proposed by Brands and Chaum in 1993 in order to detect relay attacks, also known as mafia fraud. Although the idea has been introduced fiftee...
134
click to vote
CASCON
2006
15 years 5 months ago
2006
Protocol tester is a project at RMC and Queen's that applies program transformation techniques to protocol data to evaluate the security of network applications. As part of t...