Login / Signup

Game Semantics Model for Security Protocols.

Mourad DebbabiMohamed Saleh
Published in: ICFEM (2005)
Keyphrases
  • databases
  • database systems
  • conceptual model
  • formal model
  • security protocols
  • cooperative game