1059 search results - page 116 / 212 » Modeling Security Protocols as Games |
113
click to vote
JNW
2008
15 years 16 days ago
2008
The rapid growth of IP-based mobile telecommunication technologies in the past few years has revealed situations where not only a single node but an entire network moves and change...
98
Voted
SCN
2010
Springer
14 years 11 months ago
2010
Springer
The Fiat-Shamir (FS) transform is a popular tool to produce particularly efficient digital signature schemes out of identification protocols. It is known that the resulting signat...
103
Voted
IJISEC
2007
15 years 15 days ago
2007
Abstract. We examine the popular proof models for group key establishment of Bresson et al. [BCPQ01,BCP01] and point out missing security properties addressing malicious protocol p...
116
click to vote
ESORICS
2010
Springer
15 years 1 months ago
2010
Springer
Formal RFID security and privacy frameworks are fundamental to the design and analysis of robust RFID systems. In this paper, we develop a new definitional framework for RFID priv...
99
Voted
SOCIALCOM
2010
14 years 10 months ago
2010
This paper introduces the method secure-by-design as a way of constructing wireless embedded systems using component-based modeling frameworks. This facilitates design of secure a...