Security protocols: from linear to classical logic by abstract interpretation.

Published in: Inf. Process. Lett. (2005)

Keyphrases

classical logic
security protocols
abstract interpretation
logic programming
modal logic
termination analysis
default logic
security mechanisms
static analysis
active rules
nonmonotonic reasoning
key management
possibility theory
database
integrity constraints
model checking
object oriented