5488 search results - page 4 / 1098 » On the Secure Implementation of Security Protocols |
ICSE
2009
IEEE-ACM
13 years 5 months ago
2009
IEEE-ACM
Verifying security properties of protocols requires developers to manually create protocol-specific intruder models, which could be tedious and error prone. We present Slede, a ve...
CNSR
2010
IEEE
13 years 10 months ago
2010
IEEE
In the past few years the security issues in the supervisory control and data acquisition (SCADA) system have been investigated, and many security mechanisms have been proposed fro...
CSFW
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract. We present aspier – the first framework that combines software model checking with a standard protocol security model to analyze authentication and secrecy properties ...
IJNSEC
2008
13 years 7 months ago
2008
Despite the importance of proofs in assuring protocol implementers about the security properties of key establishment protocols, many protocol designers fail to provide any proof ...
CCS
2010
ACM
13 years 5 months ago
2010
ACM
We propose a development method for security protocols based on stepwise refinement. Our refinement strategy guides sformation of abstract security goals into protocols that are s...