%0 Conference Paper %1 conf/sp/DattaFGK09 %A Datta, Anupam %A Franklin, Jason %A Garg, Deepak %A Kaynar, Dilsun Kirli %B IEEE Symposium on Security and Privacy %D 2009 %I IEEE Computer Society %K dblp %P 221-236 %T A Logic of Secure Systems and its Application to Trusted Computing. %U http://dblp.uni-trier.de/db/conf/sp/sp2009.html#DattaFGK09 %@ 978-0-7695-3633-0

@inproceedings{conf/sp/DattaFGK09, added-at = {2015-01-08T00:00:00.000+0100}, author = {Datta, Anupam and Franklin, Jason and Garg, Deepak and Kaynar, Dilsun Kirli}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2cf2acd6d086527952e3b29b1690c8a03/dblp}, booktitle = {IEEE Symposium on Security and Privacy}, crossref = {conf/sp/2009}, ee = {http://doi.ieeecomputersociety.org/10.1109/SP.2009.16}, interhash = {e8d20f8eeb9bd12fb652df5282da3818}, intrahash = {cf2acd6d086527952e3b29b1690c8a03}, isbn = {978-0-7695-3633-0}, keywords = {dblp}, pages = {221-236}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T14:37:27.000+0100}, title = {A Logic of Secure Systems and its Application to Trusted Computing.}, url = {http://dblp.uni-trier.de/db/conf/sp/sp2009.html#DattaFGK09}, year = 2009 }