S Mondal, S Sural. Security Analysis of Temporal-RBAC Using Timed Automata. Information Assurance and Security, 2008. ISIAS '08. Fourth International Conference on, , Aug 2008. [doi]
@article{Mondal:2008p373,
title = {Security Analysis of Temporal-RBAC Using Timed Automata},
author = {S Mondal and S Sural},
year = {2008},
month = {Aug},
doi = {10.1109/IAS.2008.10},
url = {http://ieeexplore.ieee.org/search/srchabstract.jsp?arnumber=4627058&isnumber=4627043&punumber=4627042&k2dockey=4627058@ieeecnfs},
tags = {control systems, rule-based, analysis, security, access control, role-based access control},
researchr = {https://researchr.org/publication/Mondal%3A2008p373},
cites = {0},
citedby = {0},
journal = {Information Assurance and Security, 2008. ISIAS '08. Fourth International Conference on},
}