1059 search results - page 93 / 212 » Modeling Security Protocols as Games |
119
click to vote
TACAS
2007
Springer
15 years 6 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...
124
click to vote
CARDIS
2008
Springer
15 years 2 months ago
2008
Springer
We investigate an application of RFIDs referred to in the literature as group scanning, in which several tags are "simultaneously" scanned by a reader device. Our goal is...
130
Voted
SPC
2005
Springer
15 years 6 months ago
2005
Springer
We develop the theme of an earlier paper [3], namely that security protocols for pervasive computing frequently need to exploit empirical channels and that the latter can be classi...
104
Voted
CSFW
2005
IEEE
15 years 6 months ago
2005
IEEE
We present the first cryptographically sound Dolev-Yaostyle security proof of a comprehensive electronic payment system. The payment system is a slightly simplified variant of t...
104
Voted
SACRYPT
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. This paper formalizes the security adversarial games for online symmetric cryptosystems in a unified framework for deterministic and probabilistic encryption schemes. On...