Login / Signup

Verifying Multi-party Authentication Using Rank Functions and PVS.

Rob VerhoevenFrancien Dechesne
Published in: Formal Aspects in Security and Trust (2008)
Keyphrases
  • multi party
  • privacy preserving
  • trust relationships
  • human communication
  • mental states
  • data mining
  • artificial intelligence
  • model checking
  • timed automata