Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/wse/AlalfiCD12
%A Alalfi, Manar H.
%A Cordy, James R.
%A Dean, Thomas R.
%B WSE
%D 2012
%E Tilley, Scott R.
%E Distante, Damiano
%E Rossi, Gustavo
%I IEEE Computer Society
%K dblp
%P 1-10
%T Automated verification of role-based access control security models recovered from dynamic web applications.
%U http://dblp.uni-trier.de/db/conf/wse/wse2012.html#AlalfiCD12
%@ 978-1-4673-3057-2
@inproceedings{conf/wse/AlalfiCD12,
added-at = {2023-03-24T00:00:00.000+0100},
author = {Alalfi, Manar H. and Cordy, James R. and Dean, Thomas R.},
biburl = {https://www.bibsonomy.org/bibtex/22c5dbab6e87bf685cd5d2e04c9873c9e/dblp},
booktitle = {WSE},
crossref = {conf/wse/2012},
editor = {Tilley, Scott R. and Distante, Damiano and Rossi, Gustavo},
ee = {https://doi.ieeecomputersociety.org/10.1109/WSE.2012.6320525},
interhash = {966b7f1d0f1807f6258cdfc992367789},
intrahash = {2c5dbab6e87bf685cd5d2e04c9873c9e},
isbn = {978-1-4673-3057-2},
keywords = {dblp},
pages = {1-10},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T11:59:59.000+0200},
title = {Automated verification of role-based access control security models recovered from dynamic web applications.},
url = {http://dblp.uni-trier.de/db/conf/wse/wse2012.html#AlalfiCD12},
year = 2012
}