%0 Conference Paper %1 conf/ccs/SinghRRSW07 %A Singh, Anu %A Ramakrishnan, C. R. %A Ramakrishnan, I. V. %A Stoller, Scott D. %A Warren, David Scott %B FMSE %D 2007 %E Ning, Peng %E Atluri, Vijay %E Gligor, Virgil D. %E Mantel, Heiko %I ACM %K dblp %P 42-50 %T Security policy analysis using deductive spreadsheets. %U http://dblp.uni-trier.de/db/conf/ccs/ccs2007fmse.html#SinghRRSW07 %@ 978-1-59593-887-9

@inproceedings{conf/ccs/SinghRRSW07, added-at = {2023-04-03T00:00:00.000+0200}, author = {Singh, Anu and Ramakrishnan, C. R. and Ramakrishnan, I. V. and Stoller, Scott D. and Warren, David Scott}, biburl = {https://www.bibsonomy.org/bibtex/2e8b49d97c03e0bdf991899422af7bb56/dblp}, booktitle = {FMSE}, crossref = {conf/ccs/2007fmse}, editor = {Ning, Peng and Atluri, Vijay and Gligor, Virgil D. and Mantel, Heiko}, ee = {https://doi.org/10.1145/1314436.1314443}, interhash = {5e84b489674570859476b81b4500769e}, intrahash = {e8b49d97c03e0bdf991899422af7bb56}, isbn = {978-1-59593-887-9}, keywords = {dblp}, pages = {42-50}, publisher = {ACM}, timestamp = {2024-04-10T06:40:22.000+0200}, title = {Security policy analysis using deductive spreadsheets.}, url = {http://dblp.uni-trier.de/db/conf/ccs/ccs2007fmse.html#SinghRRSW07}, year = 2007 }