%0 Conference Paper %1 conf/csfw/MarcusR88 %A Marcus, Leo %A Redmond, Timothy %B CSFW %D 1988 %I MITRE Corporation Press %K dblp %P 127-138 %T A Model-Theoretic Approach to Specifying, Verifying and Hooking Up Security Policies. %U http://dblp.uni-trier.de/db/conf/csfw/csfw1988.html#MarcusR88

@inproceedings{conf/csfw/MarcusR88, added-at = {2013-09-19T00:00:00.000+0200}, author = {Marcus, Leo and Redmond, Timothy}, biburl = {https://www.bibsonomy.org/bibtex/238ad2ef1206903c61f5987861561cd25/dblp}, booktitle = {CSFW}, crossref = {conf/csfw/1988}, interhash = {bd3bfe771ab6ddefa3212deda854f94d}, intrahash = {38ad2ef1206903c61f5987861561cd25}, keywords = {dblp}, pages = {127-138}, publisher = {MITRE Corporation Press}, timestamp = {2013-09-20T11:36:18.000+0200}, title = {A Model-Theoretic Approach to Specifying, Verifying and Hooking Up Security Policies.}, url = {http://dblp.uni-trier.de/db/conf/csfw/csfw1988.html#MarcusR88}, year = 1988 }