Deciding knowledge in security protocols under equational theories - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Martín Abadi, Véronique Cortier. Deciding knowledge in security protocols under equational theories. Theoretical Computer Science, 367(1-2):2-32, 2006. [doi]

The following publications are possibly variants of this publication:

Deciding Knowledge in Security Protocols Under Equational TheoriesMartín Abadi, Véronique Cortier. icalp 2004: 46-58 [doi]

Deciding Knowledge in Security Protocols under (Many More) Equational TheoriesMartín Abadi, Véronique Cortier. csfw 2005: 62-76 [doi]

Deciding Knowledge in Security Protocols for Monoidal Equational TheoriesVéronique Cortier, Stéphanie Delaune. lpar 2007: 196-210 [doi]

Deciding knowledge in security protocols under some e-voting theoriesMouhebeddine Berrima, Narjes Ben Rajeb, Véronique Cortier. ita, 45(3):269-299, 2011. [doi]

Combining Algorithms for Deciding Knowledge in Security ProtocolsMathilde Arnaud, Véronique Cortier, Stéphanie Delaune. frocos 2007: 103-117 [doi]

Deciding Key Cycles for Security ProtocolsVéronique Cortier, Eugen Zalinescu. lpar 2006: 317-331 [doi]

runs on WebDSL