Alice and Bob Meet Equational Theories.

David A. Basin Michel Keller Sasa Radomirovic Ralf Sasse

Published in: Logic, Rewriting, and Concurrency (2015)

Keyphrases

equational theories
ciphertext
theorem proving
artificial intelligence
xml documents
third party