TY  - RPRT
TI  - New method of verifying cryptographic protocols based on the process model
AU  - A. M. Mironov
PY  - 2020
UR  - https://arxiv.org/abs/2011.12040
ID  - 2011.12040
ER  -