3504 search results - page 82 / 701 » Secure protocol composition |
119
click to vote
ESORICS
2003
Springer
15 years 7 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...
114
Voted
TELSYS
2002
15 years 2 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
127
click to vote
CTRSA
2010
Springer
15 years 9 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...
109
Voted
IJWMC
2006
15 years 2 months ago
2006
: Wired Equivalent Privacy (WEP) protocol was adopted to protect authorised users from unauthorised access and eavesdropping in the IEEE 802.11 wireless LANs. It has been proven th...
124
Voted
EUROPKI
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The private keys used in a PKI are its most important asset. Protect these keys from unauthorised use or disclosure is essential to secure a PKI. Relying parties need ass...