Wissam Mallouli, Amel Mammar, Ana R. Cavalli. Modeling System Security Rules with Time Constraints Using Timed Extended Finite State Machines. In David Roberts, Abdulmotaleb El-Saddik, Alois Ferscha, editors, 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, 27-29 October 2008, Vancouver, BC, Canada, Proceedings. pages 173-180, IEEE Computer Society, 2008. [doi]
@inproceedings{MallouliMC08,
title = {Modeling System Security Rules with Time Constraints Using Timed Extended Finite State Machines},
author = {Wissam Mallouli and Amel Mammar and Ana R. Cavalli},
year = {2008},
doi = {10.1109/DS-RT.2008.22},
url = {http://dx.doi.org/10.1109/DS-RT.2008.22},
tags = {rule-based, modeling, constraints, rules, security, state machines},
researchr = {https://researchr.org/publication/MallouliMC08},
cites = {0},
citedby = {0},
pages = {173-180},
booktitle = {12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, 27-29 October 2008, Vancouver, BC, Canada, Proceedings},
editor = {David Roberts and Abdulmotaleb El-Saddik and Alois Ferscha},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-3425-1},
}