3115 search results - page 72 / 623 » Synthesizing Secure Protocols |
114
Voted
ENTCS
2007
15 years 3 months ago
2007
Protocol Composition Logic (PCL) is a logic for proving security properties of network protocols that use public and symmetric key cryptography. The logic is designed around a pro...
152
Voted
IANDC
2007
15 years 3 months ago
2007
Cryptographic protocols can be divided into (1) protocols where the protocol steps are simple from a computational point of view and can thus be modeled by simple means, for insta...
111
Voted
CORR
2010
Springer
15 years 6 days ago
2010
Springer
The Hopper-Blum (HB) protocol, which uses noised linear parities of a shared key for authentication, has been proposed for light-weight applications such as RFID. Recently, algorit...
111
Voted
DFMA
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper describes two protocols for the secure download of content protection software to mobile devices. The protocols apply concepts from trusted computing to demonstrate tha...
163
Voted
CSFW
1998
IEEE
15 years 7 months ago
1998
IEEE
This paper applies the theory of Communicating Sequential Processes (CSP) to the modelling and analysis of a non-repudiation protocol. Non-repudiation protocols di er from authent...