Unwinding Conditions for Security in Imperative Languages

Annalisa Bossi, Carla Piazza, Sabina Rossi. Unwinding Conditions for Security in Imperative Languages. In Sandro Etalle, editor, Logic Based Program Synthesis and Transformation, 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers. Volume 3573 of Lecture Notes in Computer Science, pages 85-100, Springer, 2004. [doi]

@inproceedings{BossiPR04:0,
  title = {Unwinding Conditions for Security in Imperative Languages},
  author = {Annalisa Bossi and Carla Piazza and Sabina Rossi},
  year = {2004},
  doi = {10.1007/11506676_6},
  url = {http://dx.doi.org/10.1007/11506676_6},
  tags = {security},
  researchr = {https://researchr.org/publication/BossiPR04%3A0},
  cites = {0},
  citedby = {0},
  pages = {85-100},
  booktitle = {Logic Based Program Synthesis and Transformation, 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers},
  editor = {Sandro Etalle},
  volume = {3573},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-26655-0},
}