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.
A verification framework for access control in dynamic web applications [link]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