QoP-ML: Quality of protection modelling language for cryptographic protocols.

Bogdan Ksiezopolski

Published in: Comput. Secur. (2012)

Keyphrases

cryptographic protocols
modelling language
formal semantics
standard model
learning design
security protocols
information systems
knowledge representation
cost effective
data quality