Multilevel modeling of secure systems in QoP-ML

This book introduces the basis of the QoP modeling language along with all the advanced analysis modules, syntax, and semantics. It delineates the steps used in cryptographic protocols and introduces a multilevel protocol analysis that expands current understanding. Topics include: quality of protec...

Full description

Bibliographic Details

Main Author:	Ksįeżopolski, Bogdan (Author)
Format:	Book
Language:	English
Published:	Boca Raton, FL CRC Press, Taylor & Francis 2015
Subjects:	Computer security > Computer simulation Computers > Access control > Computer simulation Computer networks > Security measures > Data processing Risk assessment > Data processing
Tags:	Add Tag No Tags, Be the first to tag this record!