@misc{indiciaeb9a5add95be6,
  title = {A Formal Development Cycle for Security Engineering in Isabelle},
  author = {Florian Kammüller},
  year = {2020},
  url = {https://arxiv.org/abs/2001.08983},
  note = {Source identifier: 2001.08983}
}