%0 Conference Paper %1 conf/sp/McHughM86 %A McHugh, John %A Moore, Andrew P. %B S&P %D 1986 %I IEEE Computer Society %K dblp %P 34-39 %T A Security Policy and Formal Top Level Specification for a Multi-Level Secure Local Area Network. %U http://dblp.uni-trier.de/db/conf/sp/sp1986.html#McHughM86 %@ 0-8186-0716-5

@inproceedings{conf/sp/McHughM86, added-at = {2023-09-21T00:00:00.000+0200}, author = {McHugh, John and Moore, Andrew P.}, biburl = {https://www.bibsonomy.org/bibtex/2f59df03ef47698ccb736e2c8dec7dc40/dblp}, booktitle = {S&P}, crossref = {conf/sp/1986}, ee = {https://doi.ieeecomputersociety.org/10.1109/SP.1986.10017}, interhash = {d0914b0f46247218d5d4921dbb0efd59}, intrahash = {f59df03ef47698ccb736e2c8dec7dc40}, isbn = {0-8186-0716-5}, keywords = {dblp}, pages = {34-39}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T00:02:05.000+0200}, title = {A Security Policy and Formal Top Level Specification for a Multi-Level Secure Local Area Network.}, url = {http://dblp.uni-trier.de/db/conf/sp/sp1986.html#McHughM86}, year = 1986 }