3504 search results - page 498 / 701 » Secure protocol composition |
121
click to vote
ICLP
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The FORCES project aims at providing robust and declarative formalisms for analyzing systems in the emerging areas of Security Protocols, Biological Systems and Multimedi...
100
Voted
TGC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We study the link between formal and cryptographic models for security protocols in the presence of passive and adaptive adversaries. We first describe the seminal resul...
122
click to vote
LCN
2000
IEEE
15 years 6 months ago
2000
IEEE
Virtual private networks (VPNs) allow two or more parties to communicate securely over a public network. Using cryptographic algorithms and protocols, VPNs provide security servic...
114
click to vote
FAC
2008
15 years 1 months ago
2008
This paper describes how the communication protocol of Mondex electronic purses can be specified and verified against desired security properties. The specification is developed by...
111
click to vote
IJNSEC
2006
15 years 1 months ago
2006
Recently, Yeh et al. proposed an improved password authenticated key exchange scheme (YSYCT scheme) which is secure against undetectable on-line password guessing attacks and prov...