Supervisory control for opacity

IEEE Transactions on Automatic Control

Volumn 55, Issue 5, 2010, Pages 1089-1100

  Dubreil, Jérémy ^a   Darondeau, Philippe ^a   Marchand, Hervé ^a  

^a INRIA   (France)

Author keywords

Confidentiality; Control; Discrete event systems (DES); Opacity; Partial observation; Security

Indexed keywords

COMPUTER SECURITY; CONFIDENTIAL INFORMATION; CRITICAL SYSTEMS; DISCRETE EVENT SYSTEMS; EFFECTIVE ALGORITHMS; PARTIAL OBSERVATION; PERMISSIVE CONTROLLERS; SUPERVISORY CONTROL; TRANSITION SYSTEM;

ALGORITHMS; COMPUTATION THEORY; OPACITY;

CONTROLLERS;

EID: 77952173305     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2010.2042008     Document Type: Article

References (26)

1. G. Lowe, "Towards a completeness result for model checking of security protocols," J. Comput. Security, vol.7, no.2-3, pp. 89-146, 1999
2. B. Blanchet, M. Abadi, and C. Fournet, "Automated verification of selected equivalences for security protocols," in Proc. 20th IEEE Symp. Logic Comput. Sci. (LICS'05), Chicago, IL, Jun. 2005, pp. 331-340.
3. N. Hadj-Alouane, S. Lafrance, F. Lin, J. Mullins, and M. Yeddes, "On the verification of intransitive noninterference in mulitlevel security," IEEE Trans. Syst., Man, Cybern. B, vol.35, no.5, pp. 948-957, Oct. 2005.
4. F. B. Schneider, "Enforceable security policies," ACM Trans. Inf. Syst. Secur., vol.3, no.1, pp. 30-50, 2000.
5. J. Ligatti, L. Bauer, and D.Walker, "Edit automata: Enforcement mechanisms for run-time security policies," Int. J. Inf. Sec., vol.4, no.1-2, pp. 2-16, 2005.
6. V. Darmaillacq, J.-C. Fernandez, R. Groz, L. Mounier, and J.-L. Richier, "Test generation for network security rules," in Proc. TestCom'06, 2006, vol.3964, pp. 341-356.
7. G. Le Guernic, "Information flow testing-The third path towards confidentiality guarantee," in Proc. Adv. Comput. Sci. (ASIAN'07), 2007, pp. 33-47.
8. J. Dubreil, T. Jéron, and H. Marchand, "Monitoring information flow by diagnosis techniques," in Proc. Eur. Control Conf. (ECC), Budapest, Hungary, Aug. 2009, pp. 2854-2859.
9. M. Bishop, Introduction to Computer Security. Reading, MA: Addison- Wesley Professional, 2004.
10. L. Mazaré, "Using unification for opacity properties," in Proc. 4th IFIP WG1.7Workshop Issues Theory Security (WITS'04), Barcelona, Spain, 2004, pp. 165-176.
11. J. W. Bryans, M. Koutny, L. Mazaré, and P. Y. A. Ryan, "Opacity generalised to transition systems," Int. J. Inform. Security, vol.7, no.6, pp. 421-435, May 2008.
12. A. Saboori and C. Hadjicostis, "Notions of security and opacity in discrete event systems," in Proc. 46th IEEE Conf. Decision Control, 2007, pp. 5056-5061.
13. A. Saboori and C. Hadjicostis, "Verification of initial-state opacity in security applications of DES," in Proc. 9th Int. Workshop Discrete Event Systems (WODES'08) , May 2008, p. 6.
14. S. Schneider and A. Sidiropoulos, "CSP and anonymity," in Proc. Comput. Security (ESORICS'96), 1996, pp. 198-218.
15. R. Focardi and R. Gorrieri, "Classification of security properties: Information flow," in Proc. Found. Security Anal. Design, 2000, pp. 331-396.
16. M. Sampath, R. Sengupta, S. Lafortune, K. Sinaamohideen, and D. Teneketzis, "Failure diagnosis using discrete event models," IEEE Trans. Control Syst. Technol., vol.4, no.2, pp. 105-124, Mar. 1996.
17. T. Jéron, H. Marchand, S. Pinchinat, and M.-O. Cordier, "Supervision patterns in discrete event systems diagnosis," in Proc. Workshop Discrete Event Syst. (WODES'06), Ann-Arbor, MI, Jul. 2006, pp. 262-268.
18. P. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete event processes," SIAM J. Control Optim., vol.25, no.1, pp. 206-230, Jan. 1987.
19. P. J. Ramadge and W. M.Wonham, "The control of discrete event systems," Proc. IEEE, vol.77, no.1, pp. 81-98, Jan. 1989.
20. L. Ricker, "A question of access: Decentralized control and communication strategies for security policies," in Proc. 8th Int. Workshop Discrete Event Syst., Jun. 2006, pp. 58-63.
21. F. Cassez, J. Mullins, and O. Roux, "Synthesis of non-interferent distributed systems," in Proc. 4th Int. Conf. Math. Methods, Models Architectures Comput. Network Security (MMM-ACNS'07), Jan. 2007, pp. 159-170.
22. E. Badouel, M. Bednarczyk, A. Borzyszkowski, B. Caillaud, and P. Darondeau, "Concurrent secrets," Discrete Event Dyn.. Syst., vol.17, pp. 425-446, 2008. (Pubitemid 350074185)
23. S. Takai and Y. Oka, "A formula for the supremal controllable and opaque sublanguage arising in supervisory control," SICE J. Control, Meas., Syst. Integr., vol.1, no.4, pp. 307-312, Mar. 2008.
24. J. Dubreil, P. Darondeau, and H. Marchand, "Opacity enforcing control synthesis," in Proc. Workshop Discrete Event Syst. (WODES'08), Gothenburg, Sweden, Mar. 2008, pp. 28-35.
25. C. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Norwell, MA: Kluwer Academic, 1999.
26. R. Alur, P. Černý, and S. Zdancewic, "Preserving secrecy under refinement," in Proc.: 33rd Int. Colloq. Automata, Language Programming (ICALP'06), 2006, pp. 107-118.