@misc{indiciae047d164017a6,
  title = {Formal context for cryptographic models},
  author = {John M. Myers and F. Hadi Madjid},
  year = {2000},
  url = {https://arxiv.org/abs/quant-ph/0011030},
  note = {Source identifier: quant-ph/0011030}
}