Computational soundness of observational equivalence

Hubert Comon-Lundh (1, 2) , Véronique Cortier (3)

1 LSV - Laboratoire Spécification et Vérification [Cachan]
2 RCIS - Research Center for Information Security
3 CASSIS - Combination of approaches to the security of infinite states systems

Domaines: Cryptographie et sécurité [cs.CR]

Hubert Comon-Lundh, Véronique Cortier. Computational soundness of observational equivalence. 15th ACM Conference on Computer and Communications Security - CCS'08, Oct 2008, Alexandria, United States. ⟨inria-00323195⟩