Eckehard Hermann, Udo Litschauer, Jürgen Fuß. A Formal Equivalence Classes Based Method for Security Policy Conformance Checking. In Gerald Quirchmayr, Josef Basl, Ilsun You, Lida Xu, Edgar Weippl, editors, Multidisciplinary Research and Practice for Information Systems - IFIP WG 8.4, 8.9/TC 5 International Cross-Domain Conference and Workshop on Availability, Reliability, and Security, CD-ARES 2012, Prague, Czech Republic, August 20-24, 2012. Proceedings. Volume 7465 of Lecture Notes in Computer Science, pages 146-160, Springer, 2012. [doi]
@inproceedings{HermannLF12,
title = {A Formal Equivalence Classes Based Method for Security Policy Conformance Checking},
author = {Eckehard Hermann and Udo Litschauer and Jürgen Fuß},
year = {2012},
doi = {10.1007/978-3-642-32498-7_12},
url = {http://dx.doi.org/10.1007/978-3-642-32498-7_12},
researchr = {https://researchr.org/publication/HermannLF12},
cites = {0},
citedby = {0},
pages = {146-160},
booktitle = {Multidisciplinary Research and Practice for Information Systems - IFIP WG 8.4, 8.9/TC 5 International Cross-Domain Conference and Workshop on Availability, Reliability, and Security, CD-ARES 2012, Prague, Czech Republic, August 20-24, 2012. Proceedings},
editor = {Gerald Quirchmayr and Josef Basl and Ilsun You and Lida Xu and Edgar Weippl},
volume = {7465},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-32497-0},
}