5488 search results - page 282 / 1098 » On the Secure Implementation of Security Protocols |
176
click to vote
ACSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
Wireless networking technologies based on the IEEE 802.11 series of standards fail to authenticate management frames and network card addresses and suffer from serious vulnerabili...
171
click to vote
JCS
2010
15 years 5 months ago
2010
raction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently significa...
203
click to vote
WIMOB
2008
IEEE
16 years 1 months ago
2008
IEEE
—This paper documents some of the socio-technical issues involved in developing security measures for a community environment, looking at the users of a wireless mesh network dep...
230
click to vote
TRUSTBUS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. In this paper we propose a security architecture and mechanism for Virtual Organizations (VO) for businesses. The VOs we consider are based on web service technology to a...
210
click to vote
CCS
2005
ACM
16 years 6 days ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...