Login / Signup

A First Order Logic Security Verification Model for SIP.

Dimitris GeneiatakisCostas LambrinoudakisGeorgios KambourakisAggelos KafkalasSven Ehlert
Published in: ICC (2009)
Keyphrases
  • first order logic
  • theorem prover
  • expressive power
  • probabilistic model
  • database
  • knowledge base
  • propositional logic
  • theorem proving