TY  - RPRT
TI  - Formal context for cryptographic models
AU  - John M. Myers
AU  - F. Hadi Madjid
PY  - 2000
UR  - https://arxiv.org/abs/quant-ph/0011030
ID  - quant-ph/0011030
ER  -