Login / Signup

On the modelling of Kerberos protocol in the Quality of Protection Modelling Language (QoP-ML).

Bogdan KsiezopolskiDamian RusinekAdam Wierzbicki
Published in: Ann. UMCS Informatica (2012)
Keyphrases
  • modelling language
  • formal semantics
  • authentication protocol
  • learning scenarios
  • learning design
  • ims ld
  • lightweight
  • security analysis
  • key distribution
  • fuzzy logic
  • privacy protection
  • secret key
  • trusted third party