106 articles – 48 Notices  [english version]
.:. Consultation > Liste par domaine > Cryptographie et sécurité .:.
2 documents classés par :
Special issue on Modelling and Verification of Cryptographic Protocols. Journal of Logic and Algebraic Programming, 64, 2005
Amadio R.
(2005) 165 [hal-00146976 - version 1]
Proceedings 18th IEEE Computer Security Foundations Workshop
Amadio R., Herzog J., Guttman J.
(2005) 300 [hal-00147019 - version 1]