Holger Peine, Reinhard Schwarz. A Multi-View Tool for Checking the Security Semantics of Router Configurations. In 19th Annual Computer Security Applications Conference (ACSAC 2003), 8-12 December 2003, Las Vegas, NV, USA. pages 56-65, IEEE Computer Society, 2003. [doi]
@inproceedings{PeineS03:0,
title = {A Multi-View Tool for Checking the Security Semantics of Router Configurations},
author = {Holger Peine and Reinhard Schwarz},
year = {2003},
url = {http://csdl.computer.org/comp/proceedings/acsac/2003/2041/00/20410056abs.htm},
tags = {semantics, security, routing},
researchr = {https://researchr.org/publication/PeineS03%3A0},
cites = {0},
citedby = {0},
pages = {56-65},
booktitle = {19th Annual Computer Security Applications Conference (ACSAC 2003), 8-12 December 2003, Las Vegas, NV, USA},
publisher = {IEEE Computer Society},
isbn = {0-7695-2041-3},
}