1 Hit in 1.0 sec

Towards a Data Centric Approach for the Design and Verification of Cryptographic Protocols [article]

Luca Arnaboldi, Roberto Metere
2019 arXiv   pre-print
We propose MetaCP, a Meta Cryptography Protocol verification tool, as an automated tool simplifying the design of security protocols through a graphical interface.  ...  In this paper, we showcase the effectiveness of this novel approach by demonstrating how easy MetaCP makes it to design and verify a protocol going from the graphical design to formally verified protocol  ...  The processes of designing the protocol and employing a formal verification tool are often detached and done at separate stages by different people.  ... 
arXiv:1910.02656v1 fatcat:v5a35t4jzvfslb2eq2cszgiqba