Temporal Aspects as Security Automata (2006)

by P Hui, J Riely
Venue:In Proceedings of FOAL’ 06