The AQoPA is Automated Quality of Protection Analysis of cryptographic protocols modelled in QoP-ML.
CMTool Crypto Metrics Tool (CMTool, CMT) is a benchmarking and results validation of cryptographic primitives/modules performance/efficiency tool used for testing the performance of the cryptographic primitives.
Security Mechanisms Evaluation Tool (SME Tool) automates the process of quality of protection evaluation of security mechanisms.
QoP-ML provides the modelling language for abstracting the cryptographic protocols. All of the security operations/mechanisms which are executed while running cryptographic protocols can be modelled with the QoP-ML. In the QoP-ML, the defined operations can be described by the security metrics which allow performing quality of protection evaluation. Quality of Protection Modelling Language (QoP-ML) provides the modelling language for making abstraction of cryptographic protocols that put emphasis on the details concerning quality of protection.