Disabling equational theories in unification for cryptographic protocol analysis through tagging

Sreekanth Malladi

Published in: CoRR (2010)

Keyphrases

equational theories
database
machine learning
artificial intelligence
database systems
relational databases
software engineering
cryptographic protocols