Implementing a Protocol Native Managed Cryptocurrency.

Peter Mell Aurélien Delaitre Frederic J. de Vaulx Philippe Dessauw

Published in: CoRR (2019)

Keyphrases

lightweight
cryptographic protocols
low cost
network protocols
coloured petri nets
database
real time
databases
information retrieval
artificial intelligence
formal analysis
security analysis