Monter d'un niveau |
Gardey, G., Mullins, J., & Roux, O. H. (août 2005). Non-interference control synthesis for security timed automata [Communication écrite]. 4th Workshop on Security Issues in Concurrency (SecCO 2005), San Francisco, CA. Publié dans Electronic Notes in Theoretical Computer Science, 180(1). Lien externe