%0 Journal Article %1 journals/cacm/DenningD77 %A Denning, Dorothy E. %A Denning, Peter J. %D 1977 %J Commun. ACM %K dblp %N 7 %P 504-513 %T Certification of Programs for Secure Information Flow. %U http://dblp.uni-trier.de/db/journals/cacm/cacm20.html#DenningD77 %V 20

@article{journals/cacm/DenningD77, added-at = {2018-11-06T00:00:00.000+0100}, author = {Denning, Dorothy E. and Denning, Peter J.}, biburl = {https://www.bibsonomy.org/bibtex/2270c32e99c055c7426c3d5e17ea4c61b/dblp}, ee = {https://doi.org/10.1145/359636.359712}, interhash = {0e0f8bf428e671a5162084f9603f6fbf}, intrahash = {270c32e99c055c7426c3d5e17ea4c61b}, journal = {Commun. ACM}, keywords = {dblp}, number = 7, pages = {504-513}, timestamp = {2018-11-07T11:53:45.000+0100}, title = {Certification of Programs for Secure Information Flow.}, url = {http://dblp.uni-trier.de/db/journals/cacm/cacm20.html#DenningD77}, volume = 20, year = 1977 }