Login / Signup

Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories.

Santiago EscobarCatherine A. MeadowsJosé MeseguerSonia Santiago
Published in: Programming Languages with Applications to Biology and Security (2015)
Keyphrases
  • data analysis
  • equational theories
  • expert systems
  • database
  • database management systems
  • constraint programming