%0 Conference Paper %1 conf/c3s2e/AlalfiCD09 %A Alalfi, Manar H. %A Cordy, James R. %A Dean, Thomas R. %B C3S2E %D 2009 %E Desai, Bipin C. %E Leung, Carson Kai-Sang %E Ormandjieva, Olga %I ACM %K dblp %P 109-113 %T A verification framework for access control in dynamic web applications. %U http://dblp.uni-trier.de/db/conf/c3s2e/c3s2e2009.html#AlalfiCD09 %@ 978-1-60558-401-0

@inproceedings{conf/c3s2e/AlalfiCD09, added-at = {2018-11-06T00:00:00.000+0100}, author = {Alalfi, Manar H. and Cordy, James R. and Dean, Thomas R.}, biburl = {https://www.bibsonomy.org/bibtex/2356bbb2abfbf11d4d70280bb4603ce0b/dblp}, booktitle = {C3S2E}, crossref = {conf/c3s2e/2009}, editor = {Desai, Bipin C. and Leung, Carson Kai-Sang and Ormandjieva, Olga}, ee = {https://doi.org/10.1145/1557626.1557643}, interhash = {890d4962765184fb451bf5e2c11dcfa8}, intrahash = {356bbb2abfbf11d4d70280bb4603ce0b}, isbn = {978-1-60558-401-0}, keywords = {dblp}, pages = {109-113}, publisher = {ACM}, series = {ACM International Conference Proceeding Series}, timestamp = {2018-11-07T15:42:30.000+0100}, title = {A verification framework for access control in dynamic web applications.}, url = {http://dblp.uni-trier.de/db/conf/c3s2e/c3s2e2009.html#AlalfiCD09}, year = 2009 }