Hal Sciencemetadata only

Deciding knowledge in security protocols under equational theories

Abadi, Martin et al.

Hal Science · Other

equantional theories, security protocols, static equivalence, protocoles de sécurité, déduction, équivalence statique, théories équationelles, [info.info-oh]computer science [cs]/other [cs.oh]

This document is indexed with metadata only — full text is not available in the archive for this record. Open the official source ↗

Deciding knowledge in security protocols under equational theories

Related documents