Login / Signup

Efficient Decision Procedures for Message Deducibility and Static Equivalence.

Bruno ConchinhaDavid A. BasinCarlos Caleiro
Published in: Formal Aspects in Security and Trust (2010)
Keyphrases
  • decision procedures
  • theorem proving
  • modal logic
  • automated reasoning
  • reasoning problems
  • databases
  • data mining
  • data warehouse
  • query containment