Login / Signup

Equational Approach to Formal Analysis of TLS.

Kazuhiro OgataKokichi Futatsugi
Published in: ICDCS (2005)
Keyphrases
  • formal analysis
  • theorem proving
  • equational theories
  • theorem prover
  • parameter estimation
  • formal methods
  • ban logic
  • agent model
  • horn clauses
  • databases
  • first order logic