%0 Journal Article %1 journals/csur/Landwehr81 %A Landwehr, Carl E. %D 1981 %J ACM Comput. Surv. %K dblp %N 3 %P 247-278 %T Formal Models for Computer Security. %U http://dblp.uni-trier.de/db/journals/csur/csur13.html#Landwehr81 %V 13

@article{journals/csur/Landwehr81, added-at = {2018-11-14T00:00:00.000+0100}, author = {Landwehr, Carl E.}, biburl = {https://www.bibsonomy.org/bibtex/22b063a096ed0bca43c88ad441f87564e/dblp}, ee = {https://www.wikidata.org/entity/Q56268917}, interhash = {830854911ebe0a78c15b604ece462052}, intrahash = {2b063a096ed0bca43c88ad441f87564e}, journal = {ACM Comput. Surv.}, keywords = {dblp}, number = 3, pages = {247-278}, timestamp = {2018-11-15T13:05:39.000+0100}, title = {Formal Models for Computer Security.}, url = {http://dblp.uni-trier.de/db/journals/csur/csur13.html#Landwehr81}, volume = 13, year = 1981 }