Concurrent secrets

Proceedings - Eighth International Workshop on Discrete Event Systems, WODES 2006

Volumn , Issue , 2006, Pages 51-57

  Badouel, Eric ^a   Bednarczyk, Marek ^b   Borzyszkowski, Andrzej ^c   Caillaud, Benoît ^a   Darondeau, Philippe ^a  

^a INRIA   (France)

^b IPIPAN Gdańsk ^*  (Poland)

^c UNIVERSITY OF GDA SK   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

FINITE STATE SYSTEMS;

COMPUTATIONAL METHODS; INTELLIGENT CONTROL;

SYSTEMS ANALYSIS;

EID: 34250785809     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WODES.2006.1678407     Document Type: Conference Paper

References (8)

1. P.J. Ramadge and W.M. Wonham, Supervisory Control of a Class of Discrete Event Processes. SIAM Journal of Control and Optimization, vol. 25, 1987, pp 206-230.
2. P.J. Ramadge and W.M. Wonham, On the Supremal Controllable-Language of a Given Language. SIAM Journal of Control and Optimization, vol. 25, 1987, pp 637-659.
3. L. Mazaré, Using unification for opacity properties, in Proc. of the Workshop on Issues in the Theory of Security (WITS'04), 2004.
4. J.W. Bryans, M. Koutny, L. Mazaré and P.Y.A. Ryan, Opacity Generalised to Transition Systems, in Proc. of the Workshop on Formal Aspects in Security and Trust (FAST 2005), 2005.
5. A. Tarski, A lattice-theoretical fixpoint theorem and its applications, Pacific Journal of Mathematics, vol. 5, 1955, pp. 285-309.
6. E. Badouel, M. Bednarczyk, A. Borzyszkowski, B. Caillaud, and P. Darondeau, Concurrent Secrets (full version), INRIA-RR 5771 (available from http://www.inria.fr/rrrt), 2005.
7. J. Berstel, Transductions and Context-Free Languages, Teubner Verlag, 1978.
8. A. Arnold and M. Nivat, Comportements de processus, in Actes du Colloque AFCET "Les mathématiques de l'informatique", 1982, pp.35-68.