Covert channels detection in protocols using scenarios - Archive ouverte HAL
Communication Dans Un Congrès Année : 2003

Covert channels detection in protocols using scenarios

Domaines

Autre [cs.OH]

Loic Helouet  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00306320

Soumis le : vendredi 25 juillet 2008-15:20:23

Dernière modification le : vendredi 24 mars 2023-14:52:50

Fichier non déposé

Dates et versions

hal-00306320 , version 1 (25-07-2008)

Identifiants

  • HAL Id : hal-00306320 , version 1

Citer

Loïc Hélouët, Claude Jard, Marc Zeitoun. Covert channels detection in protocols using scenarios. Security Protocols Verification, SPV'03, 2003, Unknown, France. pp.2125. ⟨hal-00306320⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 EC-PARIS UNIV-RENNES1 CNRS INRIA INSA-RENNES LIAFA IRISA IRISA-D2 INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES INSA-GROUPE UR1-MATH-NUM
190 Consultations
0 Téléchargements

Partager

More