Login / Signup

Analysis the Properties of TLS Based on Temporal Logic of Knowledge.

Chao LvHui LiJianfeng Ma
Published in: IAS (2009)
Keyphrases
  • temporal logic
  • model checking
  • knowledge representation
  • knowledge base
  • knowledge acquisition
  • formal specification
  • predicate logic
  • model checker
  • temporal knowledge
  • mazurkiewicz traces