@InProceedings{sbtf01,
author = {J.~{J}{\"u}{r}jens and G. Wimmel},
title = {Specification-Based Testing of Firewalls},
booktitle = {Andrei Ershov 4th International Conference ``Perspectives of System
Informatics'' (PSI 2001)},
year = {2001},
editor = {D. Bj{\o}rner and M. Broy and A. Zamulin},
volume = {2244},
series = {Lecture Notes in Computer Science},
pages = {308--316},
address = {Novosibirsk (Russia)},
publisher = {Springer Verlag},
DOI = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.2132},
file = {slides:http\://rgse.uni-koblenz.de/jj/publications/papers/JurWim01sli.ps:URL;paper (pdf):http\://rgse.uni-koblenz.de/jj/publications/papers/JurWim01.pdf:URL;paper (ps):http\://rgse.uni-koblenz.de/jj/publications/papers/JurWim01.ps:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL;SpringerLink:http://link.springer.com/chapter/10.1007/3-540-45575-2_31:URL},
keywords = {internationalConferences, secureSoftwareEngineeringSecurityTesting},
}
BibTeX DOI slides paper (pdf) paper (ps) dblp SpringerLink