%0 Conference Paper %1 conf/words/ShafiqMJG05 %A Shafiq, Basit %A Masood, Ammar %A Joshi, James %A Ghafoor, Arif %B WORDS %D 2005 %I IEEE Computer Society %K dblp %P 13-20 %T A Role-Based Access Control Policy Verification Framework for Real-Time Systems. %U http://dblp.uni-trier.de/db/conf/words/words2005.html#ShafiqMJG05 %@ 0-7695-2347-1

@inproceedings{conf/words/ShafiqMJG05, added-at = {2023-03-24T00:00:00.000+0100}, author = {Shafiq, Basit and Masood, Ammar and Joshi, James and Ghafoor, Arif}, biburl = {https://www.bibsonomy.org/bibtex/2b988f161f32f7759bad2e5b2f61d2ebe/dblp}, booktitle = {WORDS}, crossref = {conf/words/2005}, ee = {https://doi.ieeecomputersociety.org/10.1109/WORDS.2005.11}, interhash = {1bcc04d3b8467b26ca97148b59a491a0}, intrahash = {b988f161f32f7759bad2e5b2f61d2ebe}, isbn = {0-7695-2347-1}, keywords = {dblp}, pages = {13-20}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T22:04:27.000+0200}, title = {A Role-Based Access Control Policy Verification Framework for Real-Time Systems.}, url = {http://dblp.uni-trier.de/db/conf/words/words2005.html#ShafiqMJG05}, year = 2005 }