32906 articles – 26196 Notices  [english version]
.:. Consultation > Par auteur > Abadi .:.
5 documents classés par :

Deciding knowledge in security protocols under equational theories.
Cortier V., Abadi M.
Theoretical Computer Science 367, 1-2 (2006) 2-32 [inria-00108372 - version 1]
Deciding knowledge in security protocols under (many more) equational theories
Abadi M., Cortier V.
Dans 18th IEEE Computer Security Foundations Workshop - CSFW'05 (2005) 62-76 [inria-00000554 - version 1]
Deciding knowledge in security protocols under equational theories
Abadi M., Cortier V.
Dans The 31st International Colloquium on Automata, Languages and Programming - ICALP'2004 3142 (2004) 148-164 [inria-00099982 - version 1]
fulltext access Deciding knowledge in security protocols under equational theories
Abadi M., Cortier V.
N° RR-5169 (2004) [inria-00071420 - version 1]
fulltext access Explicit substitutions
Abadi M., Cardelli L., Curien P.L., Levy J.-J.
N° RR-1176 (1990) [inria-00075382 - version 1]