Musard Balliu, Isabella Mastroeni. A weakest precondition approach to active attacks analysis. In Stephen Chong, David A. Naumann, editors, Proceedings of the 2009 Workshop on Programming Languages and Analysis for Security, PLAS 2009, Dublin, Ireland, 15-21 June, 2009. pages 59-71, ACM, 2009. [doi]
@inproceedings{BalliuM09,
title = {A weakest precondition approach to active attacks analysis},
author = {Musard Balliu and Isabella Mastroeni},
year = {2009},
doi = {10.1145/1554339.1554348},
url = {http://doi.acm.org/10.1145/1554339.1554348},
tags = {analysis, systematic-approach},
researchr = {https://researchr.org/publication/BalliuM09},
cites = {0},
citedby = {0},
pages = {59-71},
booktitle = {Proceedings of the 2009 Workshop on Programming Languages and Analysis for Security, PLAS 2009, Dublin, Ireland, 15-21 June, 2009},
editor = {Stephen Chong and David A. Naumann},
publisher = {ACM},
isbn = {978-1-60558-645-8},
}