A (restricted) quantifier elimination for security protocols.

Ramaswamy Ramanujam S. P. Suresh

Published in: Theor. Comput. Sci. (2006)

Keyphrases

security protocols
quantifier elimination
constraint propagation
automated design
presburger arithmetic
first order logic
functional programming
cardinality constraints
constraint databases
key management
relational databases
database
knowledge base