3751 search results - page 63 / 751 » Events in security protocols |
CONEXT
2006
ACM
15 years 3 months ago
2006
ACM
The deployment of sensor networks in security- and safety-critical environments requires secure communication primitives. In this paper, we design, implement, and evaluate a new s...
POPL
2010
ACM
15 years 7 months ago
2010
ACM
ESORICS
2003
Springer
15 years 3 months ago
2003
Springer
We introduce the on-the-fly model-checker OFMC, a tool that combines two methods for analyzing security protocols. The first is the use of lazy data-types as a simple way of buil...
ICTCS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed to study historybased access control. It allows for parametrized security policies with a possibly nested, local scope. To gov...
CTRSA
2010
Springer
15 years 4 months ago
2010
Springer
Typical security models used for proving security of deployed cryptographic primitives do not allow adversaries to rewind or reset honest parties to an earlier state. Thus, it is c...