%0 Conference Paper %1 conf/acsac/Schneider91 %A Schneider, Edward A. %B ACSAC %D 1991 %I IEEE %K dblp %P 132-142 %T Verification of the security of a secure network component. %U http://dblp.uni-trier.de/db/conf/acsac/acsac1991.html#Schneider91

@inproceedings{conf/acsac/Schneider91, added-at = {2016-02-10T00:00:00.000+0100}, author = {Schneider, Edward A.}, biburl = {https://www.bibsonomy.org/bibtex/28579cb541b027a688d360f655da8e8dc/dblp}, booktitle = {ACSAC}, crossref = {conf/acsac/1991}, ee = {http://dx.doi.org/10.1109/CSAC.1991.213011}, interhash = {74d5c7719d887cf429d073d1acc348f6}, intrahash = {8579cb541b027a688d360f655da8e8dc}, keywords = {dblp}, pages = {132-142}, publisher = {IEEE}, timestamp = {2016-02-12T11:37:54.000+0100}, title = {Verification of the security of a secure network component.}, url = {http://dblp.uni-trier.de/db/conf/acsac/acsac1991.html#Schneider91}, year = 1991 }