Non-interference control synthesis for security timed automata

Document type :
Conference papers
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00523598
Contributor : Olivier Henri Roux <>
Submitted on : Tuesday, October 5, 2010 - 5:42:03 PM
Last modification on : Wednesday, December 19, 2018 - 3:02:03 PM

Identifiers

  • HAL Id : hal-00523598, version 1

Collections

Citation

Guillaume Gardey, John Mullins, Olivier Henri Roux. Non-interference control synthesis for security timed automata. 3rd International Workshop on Security Issues in Concurrency (SecCo'05), 2005, San Francisco, United States. pp.0-10. ⟨hal-00523598⟩

Share

Metrics

Record views

102