Vérifier automatiquement les protocoles de sécurité

Yohan Boichut; Pierre-Cyrille Heam; Olga Kouchnarenko

doi:10.51257/a-v1-re95

Journal Articles Techniques de l'Ingénieur Year : 2007

Vérifier automatiquement les protocoles de sécurité

(1) , (2) , (2)

1
2

Yohan Boichut

Function : Author
PersonId : 830638

Constraints, automatic deduction and software properties proofs

Pierre-Cyrille Heam

Function : Author
PersonId : 1340
IdHAL : pierre-cyrille-heam
ORCID : 0000-0002-1125-1767
IdRef : 089057872

Combination of approaches to the security of infinite states systems

Olga Kouchnarenko

Function : Author
PersonId : 836892

Combination of approaches to the security of infinite states systems

Domains

Web Cryptography and Security [cs.CR]

Pierre-Cyrille Heam : Connect in order to contact the contributor

https://inria.hal.science/inria-00181761

Submitted on : Wednesday, October 24, 2007-2:29:57 PM

Last modification on : Monday, October 9, 2023-4:50:48 PM

Dates and versions

inria-00181761 , version 1 (24-10-2007)

Identifiers

HAL Id : inria-00181761 , version 1
DOI : 10.51257/a-v1-re95

Cite

Yohan Boichut, Pierre-Cyrille Heam, Olga Kouchnarenko. Vérifier automatiquement les protocoles de sécurité. Techniques de l'Ingénieur, 2007, pp.1-9. ⟨10.51257/a-v1-re95⟩. ⟨inria-00181761⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-FCOMTE UNIV-BM FEMTO-ST UNIV-BM-THESE UNIV-LORRAINE INRIA2 LORIA LORIA-FM

121 View

0 Download

Vérifier automatiquement les protocoles de sécurité

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Altmetric

Share