659 search results - page 55 / 132 » Compiling and securing cryptographic protocols |
103
Voted
CSFW
2008
IEEE
15 years 7 months ago
2008
IEEE
We investigate the composition of protocols that share a common secret. This situation arises when users employ the same password on different services. More precisely we study w...
79
Voted
CCS
1994
ACM
15 years 4 months ago
1994
ACM
The Escrowed Encryption Standard (EES) defines a US Government family of cryptographic processors, popularly known as "Clipper" chips, intended to protect unclassified g...
CJ
2007
15 years 14 days ago
2007
Although the Yahalom protocol, proposed by Burrows, Abadi, and Needham in 1990, is one of the most prominent key establishment protocols analyzed by researchers from the computer s...
CCS
2009
ACM
15 years 7 months ago
2009
ACM
Formal analysis of security protocols based on symbolic models has been very successful in finding flaws in published protocols and proving protocols secure, using automated too...
95
Voted
CORR
2010
Springer
15 years 17 days ago
2010
Springer
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo...