215 search results - page 7 / 43 » Analyzing Security Protocols Using Time-Bounded Task-PIOAs |
TCC
2007
Springer
15 years 5 months ago
2007
Springer
We prove a computational soundness theorem for symmetric-key encryption protocols that can be used to analyze security against adaptively corrupting adversaries (that is, adversar...
91
Voted
ESORICS
2003
Springer
15 years 4 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...
78
Voted
IFIP
2009
Springer
14 years 9 months ago
2009
Springer
We present a platform that allows a protocol researcher to specify the sequence of games from an initial protocol to a protocol where the security property under consideration can ...
97
Voted
IFIPTM
2010
14 years 10 months ago
2010
Abstract. Location-dependent services are services that adapt their behavior based on the locations of mobile devices. For many applications, it is critical that location-dependent...
112
Voted
INFORMATICALT
2007
14 years 11 months ago
2007
Abstract. Deniable authenticated protocol is a new cryptographic authentication protocol that enables a designated receiver to identify the source of a given message without being ...