659 search results - page 4 / 132 » Compiling and securing cryptographic protocols |
CSFW
2009
IEEE
14 years 2 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. ...
CSFW
1999
IEEE
13 years 11 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...
FSTTCS
2003
Springer
14 years 17 days 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
14 years 1 months ago
2007
Springer
CSFW
1997
IEEE
13 years 11 months ago
1997
IEEE