3 citations · 3 across the 9 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2021
A Distributed Process Model of Cryptographic Protocols
Andrew M. Mironov
Cryptographic Protocols (CP) are distributed algorithms intended for secure communication in an insecure environment. They are used, for example, in electronic payments, electronic…
cs.CR2020
New method of verifying cryptographic protocols based on the process model
A. M. Mironov
A cryptographic protocol (CP) is a distributed algorithm designed to provide a secure communication in an insecure environment. CPs are used, for example, in electronic payments, e…