Active Intruders with Caps

Siva Anatharaman 1 Hai Lin Chris Lynch Paliath Narendran 2 Michael Rusinowitch 3
3 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : We address the insecurity problem for cryptographic protocols, for an active intruder and a bounded number of sessions. By modeling each protocol step as a rigid Horn clause, and the intruder abilities as an equational theory over a convergent rewrite system, the problem of active intrusion is formulated as a Cap Unification problem. Cap Unification is an extension of Equational Unification: we look for a cap to be placed on a given set of terms, so that it unifies with a given term modulo the equational theory.
Type de document :
Communication dans un congrès
FCS-ARSPA-WITS'08, Jun 2008, Pittsburgh, United States. 2008
Liste complète des métadonnées
Contributeur : Michaël Rusinowitch <>
Soumis le : mardi 14 octobre 2008 - 16:26:45
Dernière modification le : jeudi 17 janvier 2019 - 15:06:04


  • HAL Id : inria-00330532, version 1


Siva Anatharaman, Hai Lin, Chris Lynch, Paliath Narendran, Michael Rusinowitch. Active Intruders with Caps. FCS-ARSPA-WITS'08, Jun 2008, Pittsburgh, United States. 2008. 〈inria-00330532〉



Consultations de la notice