5488 search results - page 81 / 1098 » On the Secure Implementation of Security Protocols |
124
click to vote
SAM
2004
15 years 1 months ago
2004
We propose a partial order reduction for model checking security protocols for the secrecy property. Based on this reduction we develop an automatic tool that can check security pr...
IPPS
1999
IEEE
15 years 4 months ago
1999
IEEE
Abstract. The Navy needs to use Multi Level Security (MLS) techniques in an environment with increasing amount of real time computation brought about by increased automation requir...
IC
2004
15 years 1 months ago
2004
A fully functional web interface (NessusWeb) for the Nessus network security scanner has been developed. NessusWeb provides public accessibility for authorized users and supports ...
107
click to vote
AINA
2006
IEEE
15 years 3 months ago
2006
IEEE
Ad hoc networks are dynamic networks formed "on the fly" by a set of nodes. Achieving secure routing in such networks is a big challenge. Asymmetric signature schemes pr...
FC
2010
Springer
15 years 28 days ago
2010
Springer
We provide several concrete implementations of a generic method given by Vaudenay to construct secure privacy-preserving RFID authentication and identification systems. More precis...