%0 Conference Paper %1 conf/csfw/PeriW94 %A Peri, Ramesh V. %A Wulf, William A. %B CSFW %D 1994 %I IEEE Computer Society %K dblp %P 118-125 %T Formal Specification of Information Flow Security Policies and Their Enforcement in Security Critical Systems. %U http://dblp.uni-trier.de/db/conf/csfw/csfw1994.html#PeriW94 %@ 0-8186-6230-1

@inproceedings{conf/csfw/PeriW94, added-at = {2017-05-25T00:00:00.000+0200}, author = {Peri, Ramesh V. and Wulf, William A.}, biburl = {https://www.bibsonomy.org/bibtex/26d1415a5089f98bc45c350d0cc5f650a/dblp}, booktitle = {CSFW}, crossref = {conf/csfw/1994}, ee = {https://doi.org/10.1109/CSFW.1994.315942}, interhash = {f6874b809c9b1115540a5bc8eb3d3564}, intrahash = {6d1415a5089f98bc45c350d0cc5f650a}, isbn = {0-8186-6230-1}, keywords = {dblp}, pages = {118-125}, publisher = {IEEE Computer Society}, timestamp = {2019-10-17T15:57:00.000+0200}, title = {Formal Specification of Information Flow Security Policies and Their Enforcement in Security Critical Systems.}, url = {http://dblp.uni-trier.de/db/conf/csfw/csfw1994.html#PeriW94}, year = 1994 }