A verification framework for access control in dynamic web applications. Alalfi, M. H., Cordy, J. R., & Dean, T. R. In Desai, B. C., Leung, C. K., & Ormandjieva, O., editors, Canadian Conference on Computer Science & Software Engineering, C3S2E 2009, Montreal, Quebec, Canada, May 19-21, 2009, Proceedings, of ACM International Conference Proceeding Series, pages 109–113, 2009. ACM.
Paper doi bibtex 3 downloads @inproceedings{DBLP:conf/c3s2e/AlalfiCD09,
author = {Manar H. Alalfi and
James R. Cordy and
Thomas R. Dean},
editor = {Bipin C. Desai and
Carson Kai{-}Sang Leung and
Olga Ormandjieva},
title = {A verification framework for access control in dynamic web applications},
booktitle = {Canadian Conference on Computer Science {\&} Software Engineering,
{C3S2E} 2009, Montreal, Quebec, Canada, May 19-21, 2009, Proceedings},
series = {{ACM} International Conference Proceeding Series},
pages = {109--113},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1557626.1557643},
doi = {10.1145/1557626.1557643},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/c3s2e/AlalfiCD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 3
{"_id":"NWtLkDdczcZFXT2za","bibbaseid":"alalfi-cordy-dean-averificationframeworkforaccesscontrolindynamicwebapplications-2009","downloads":3,"creationDate":"2017-10-15T15:19:43.675Z","title":"A verification framework for access control in dynamic web applications","author_short":["Alalfi, M. H.","Cordy, J. R.","Dean, T. R."],"year":2009,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/49/2794.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Manar","H."],"propositions":[],"lastnames":["Alalfi"],"suffixes":[]},{"firstnames":["James","R."],"propositions":[],"lastnames":["Cordy"],"suffixes":[]},{"firstnames":["Thomas","R."],"propositions":[],"lastnames":["Dean"],"suffixes":[]}],"editor":[{"firstnames":["Bipin","C."],"propositions":[],"lastnames":["Desai"],"suffixes":[]},{"firstnames":["Carson","Kai-Sang"],"propositions":[],"lastnames":["Leung"],"suffixes":[]},{"firstnames":["Olga"],"propositions":[],"lastnames":["Ormandjieva"],"suffixes":[]}],"title":"A verification framework for access control in dynamic web applications","booktitle":"Canadian Conference on Computer Science & Software Engineering, C3S2E 2009, Montreal, Quebec, Canada, May 19-21, 2009, Proceedings","series":"ACM International Conference Proceeding Series","pages":"109–113","publisher":"ACM","year":"2009","url":"https://doi.org/10.1145/1557626.1557643","doi":"10.1145/1557626.1557643","timestamp":"Tue, 06 Nov 2018 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/c3s2e/AlalfiCD09.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/c3s2e/AlalfiCD09,\n author = {Manar H. Alalfi and\n James R. Cordy and\n Thomas R. Dean},\n editor = {Bipin C. Desai and\n Carson Kai{-}Sang Leung and\n Olga Ormandjieva},\n title = {A verification framework for access control in dynamic web applications},\n booktitle = {Canadian Conference on Computer Science {\\&} Software Engineering,\n {C3S2E} 2009, Montreal, Quebec, Canada, May 19-21, 2009, Proceedings},\n series = {{ACM} International Conference Proceeding Series},\n pages = {109--113},\n publisher = {{ACM}},\n year = {2009},\n url = {https://doi.org/10.1145/1557626.1557643},\n doi = {10.1145/1557626.1557643},\n timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/c3s2e/AlalfiCD09.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Alalfi, M. H.","Cordy, J. R.","Dean, T. R."],"editor_short":["Desai, B. C.","Leung, C. K.","Ormandjieva, O."],"key":"DBLP:conf/c3s2e/AlalfiCD09","id":"DBLP:conf/c3s2e/AlalfiCD09","bibbaseid":"alalfi-cordy-dean-averificationframeworkforaccesscontrolindynamicwebapplications-2009","role":"author","urls":{"Paper":"https://doi.org/10.1145/1557626.1557643"},"metadata":{"authorlinks":{"alalfi, m":"https://www.cs.ryerson.ca/~manar.alalfi/publications.html"}},"downloads":3},"search_terms":["verification","framework","access","control","dynamic","web","applications","alalfi","cordy","dean"],"keywords":[],"authorIDs":["EFTrT5YYd4EnKdm5r"],"dataSources":["sruHQc7MdEddqHEe4","kFhnZvM2M4gH47q7m"]}