741 search results - page 77 / 149 » Verification of security protocols using LOTOS-method and ap... |
120
click to vote
TCC
2005
Springer
15 years 9 months ago
2005
Springer
The existing unconditional security definitions of quantum key distribution (QKD) do not apply to joint attacks over QKD and the subsequent use of the resulting key. In this paper...
138
click to vote
ASIACRYPT
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Secure multi-party computation has been considered by the cryptographic community for a number of years. Until recently it has been a purely theoretical area, with few im...
112
click to vote
SCN
2010
Springer
15 years 2 months ago
2010
Springer
In this work, we consider Authentication and Key Agreement (AKA), a popular client-server Key Exchange (KE) protocol, commonly used in wireless standards (e.g., UMTS), and widely c...
135
click to vote
INFOCOM
1999
IEEE
15 years 8 months ago
1999
IEEE
Abstract-The Internet today provides no support for privacy or authentication of multicast packets. However,an increasing number of applications will require secure multicast servi...
125
click to vote
SOCIALCOM
2010
15 years 1 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...