Non-interference control synthesis for security timed automata - Archive ouverte HAL
Communication Dans Un Congrès Année : 2005

Non-interference control synthesis for security timed automata

Domaines

Autre [cs.OH]

Olivier Henri Roux  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00523598

Soumis le : mardi 5 octobre 2010-17:42:03

Dernière modification le : vendredi 5 janvier 2024-03:24:51

Fichier non déposé

Dates et versions

hal-00523598 , version 1 (05-10-2010)

Identifiants

  • HAL Id : hal-00523598 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES CNRS EC-NANTES IRCCYN UNAM LS2N NANTES-UNIVERSITE
59 Consultations
0 Téléchargements

Partager

More