A Distributed Process Model of Cryptographic Protocols.

Andrew M. Mironov

Published in: CoRR (2021)

Keyphrases

process model
cryptographic protocols
business process
business processes
process mining
distributed systems
distributed environment
petri net
peer to peer
software process
standard model
authentication protocol
security protocols
business process models
locally decodable codes