Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
CSFW
2005
IEEE
12 years 1 months ago
Reconstruction of Attacks against Cryptographic Protocols
We study an automatic technique for the veriļ¬cation of cryptographic protocols based on a Horn clause model of the protocol. This technique yields proofs valid for an unbounded ...
Xavier Allamigeon, Bruno Blanchet
books