659 search results - page 4 / 132 » Compiling and securing cryptographic protocols |
85
Voted
CSFW
2009
IEEE
15 years 6 months ago
2009
IEEE
Cryptographic protocols are crucial for securing electronic transactions. The confidence in these protocols can be increased by the formal analysis of their security properties. ...
114
Voted
CSFW
1999
IEEE
15 years 4 months ago
1999
IEEE
Belief-logic deductions are used in the analysis of cryptographic protocols. We show a new method to decide such logics. In addition to the familiar BAN logic, it is also applicab...
103
click to vote
FSTTCS
2003
Springer
15 years 4 months ago
2003
Springer
We prove the Needham-Schroeder-Lowe public-key protocol secure under real, active cryptographic attacks including concurrent protocol runs. This proof is based on an abstract crypt...
IWSEC
2007
Springer
15 years 5 months ago
2007
Springer
CSFW
1997
IEEE
15 years 3 months ago
1997
IEEE