@misc{indiciae4b01d16d3312,
  title = {Deducing Security Goals From Shape Analysis Sentences},
  author = {John D. Ramsdell},
  year = {2018},
  url = {https://arxiv.org/abs/1204.0480},
  note = {Source identifier: 1204.0480}
}