Arosha K. Bandara, Antonis C. Kakas, Emil C. Lupu, Alessandra Russo. Using Argumentation Logic for Firewall Policy Specification and Analysis. In Radu State, Sven van der Meer, Declan O Sullivan, Tom Pfeifer, editors, Large Scale Management of Distributed Systems, 17th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2006, Dublin, Ireland, October 23-25, 2006, Proceedings. Volume 4269 of Lecture Notes in Computer Science, pages 185-196, Springer, 2006. [doi]
@inproceedings{BandaraKLR06,
title = {Using Argumentation Logic for Firewall Policy Specification and Analysis},
author = {Arosha K. Bandara and Antonis C. Kakas and Emil C. Lupu and Alessandra Russo},
year = {2006},
doi = {10.1007/11907466_16},
url = {http://dx.doi.org/10.1007/11907466_16},
tags = {analysis, C++, logic},
researchr = {https://researchr.org/publication/BandaraKLR06},
cites = {0},
citedby = {0},
pages = {185-196},
booktitle = {Large Scale Management of Distributed Systems, 17th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2006, Dublin, Ireland, October 23-25, 2006, Proceedings},
editor = {Radu State and Sven van der Meer and Declan O Sullivan and Tom Pfeifer},
volume = {4269},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-47659-8},
}