671 search results - page 2 / 135 » A Modeling Framework for Generating Security Protocol Specif... |
ENTCS
2000
14 years 11 months ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
108
click to vote
ICSE
2009
IEEE-ACM
14 years 9 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...
IJACT
2008
14 years 10 months ago
2008
115
click to vote
DSOM
2006
Springer
15 years 3 months ago
2006
Springer
Firewalls are important perimeter security mechanisms that imple-ment an organisation's network security requirements and can be notoriously difficult to configure correctly. ...
62
Voted
ISSE
2010
14 years 10 months ago
2010
