1106 search results - page 7 / 222 » Automated Design of Security Protocols |
64
Voted
DAC
2004
ACM
15 years 10 months ago
2004
ACM
The growing number of instances of breaches in information security in the last few years has created a compelling case for efforts towards secure electronic systems. Embedded sys...
82
Voted
CAV
2005
Springer
15 years 3 months ago
2005
Springer
JAR
2006
14 years 9 months ago
2006
102
click to vote
SP
2008
IEEE
14 years 8 months ago
2008
IEEE
e an abstraction of zero-knowledge protocols that is le to a fully mechanized analysis. The abstraction is formalized within the applied pi-calculus using a novel equational theor...
VIZSEC
2005
Springer
15 years 3 months ago
2005
Springer
We have designed an interactive visualization framework for the automated trust negotiation (ATN) protocol and we have implemented a prototype of the visualizer in Java. This fram...