199 search results - page 9 / 40 » A survey of algebraic properties used in cryptographic proto... |
IPL
2010
14 years 8 months ago
2010
Protocol narrations are widely used in security as semi-formal notations to specify conversations between roles. We define a translation from a protocol narration to the sequence...
CSFW
2000
IEEE
15 years 2 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...
101
click to vote
WISTP
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This work aims to identify the algebraic problems which enable many attacks on RFID protocols. Toward this goal, three emerging types of attacks on RFID protocols, concer...
105
click to vote
SETA
2010
Springer
14 years 8 months ago
2010
Springer
It is a difficult challenge to find Boolean functions used in stream ciphers achieving all of the necessary criteria and the research of such functions has taken a significant d...
ESORICS
2009
Springer
15 years 10 months ago
2009
Springer
Security APIs are used to define the boundary between trusted and untrusted code. The security properties of existing APIs are not always clear. In this paper, we give a new generi...