A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification.

Wissam Mallouli, Amel Mammar, Ana R. Cavalli

Browse the full APSEC paper archive.