1106 search results - page 7 / 222 » Automated Design of Security Protocols |
DAC
2004
ACM
14 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...
CAV
2005
Springer
14 years 3 months ago
2005
Springer
JAR
2006
13 years 9 months ago
2006
SP
2008
IEEE
13 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
14 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...