Véronique Boutin < Véronique Cortier < Véronique Legrand | Facettes : |
List of bibliographic references
Number of relevant bibliographic references: 10.Ident. | Authors (with country if any) | Title |
---|---|---|
000096 (2005) | Véronique Cortier | Vérifier les protocoles cryptographiques |
000174 (2005) | Véronique Cortier ; Michael Rusinowitch ; Eugen Zalinescu | A resolution Strategy for Verifying Cryptographic Protocols with CBC Encryption and Blind Signatures |
000289 (2005) | Hubert Comon-Lundh ; Véronique Cortier | Tree automata with one memory, set constraints and cryptographic protocols |
000341 (2005) | Martin Abadi ; Véronique Cortier | Deciding knowledge in security protocols under (many more) equational theories |
000342 |