Modeling System Security Rules with Time Constraints Using Timed Extended Finite State Machines - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Wissam Mallouli' in GoogleThis author has not been identified. Look up 'Amel Mammar' in GoogleThis author has not been identified. Look up 'Ana R. Cavalli' in Google

runs on WebDSL