Towards a Data Centric Approach for the Design and Verification of Cryptographic Protocols.

Luca Arnaboldi Roberto Metere

Published in: CoRR (2019)

Keyphrases

cryptographic protocols
data centric
formal verification
databases
case study
data management
building blocks
application development
data mining
user interface
lightweight
information management
standard model