Opaque superlanguages and sublanguages in discrete event systems

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2009, Pages 199-204

  Ben Kalefa, Majed ^a   Lin, Feng ^a  

^a Wayne State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DISCRETE EVENT SIMULATION;

EXTERNAL OBSERVER; SUBLANGUAGES; SUPERLANGUAGES;

OPACITY;

EID: 77950839504     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2009.5400704     Document Type: Conference Paper

References (23)

1. P. J. Ramadge and W. M. Wonham. Supervisory control of a class of discrete-event processes.SIAM Journal of Control and Optimization, 25(1),pp.206-230, 1987.
2. F. Lin and W. M. Wonham. On observability of discrete-event systems. Information Sciences, 44, pp. 173-198,1988.
3. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis. Diagnosability of discrete event systems. IEEE Transactions on Automatic Control, 40(9), pp. 1555-1575, 1995.
4. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis,. Failure diagnosis using discrete event models. IEEE Trans. Control Systems Technology, vol.4, no.2, pp. 105-124, 1996.
5. M. Sampath, S. Lafortune, and D. Teneketzis. Active diagnosis of discrete event systems. IEEE Trans. Automatic Control, vol.43, no.7, pp. 908-929, 1998.
6. F. Lin. Diagnosability of discrete event systems and its applications. Discrete Event Dynamic Systems: Theory and Applications, 4(1), pp. 197-212, 1994.
7. S. Shu, F. Lin, and H. Ying. Detectability of discrete event systems. IEEE Transactions on Automatic Control, 52(12), pp. 2356-2359, 2007.
8. S. Shu, F. Lin, H. Ying, and X. Chen. State estimation and detectability of probabilistic discrete event systems. Automatica, 44(12), pp. 3054-3060.
9. A. Saboori, and C. N. Hadjicostis. Notion of Security and Opacity in Discrete Event Systems. 46th IEEE Conference on Desision and Control, pp. 5056-5061,Dec 2007.
10. J. W. Bryans, M. Koutny, L. Mazare and P. Y. A Ryan. Opacity generalized to transition systems. FAST 2005, LNCS 2860, pp.81-95, 2006.
11. J. Dubreil, P. Darondeau and H. Marchand. Opacity enforcing control synthesis. Workshop on Discrete Event Systems, WODES'08, Gothenburg, Sweden, March 2008.
12. J. W. Bryans, M. Koutny and P. Y. A. Ryan. Modelling opacity using Petri nets. Electronic Notes in Theoretical Computer Science 121, pp. 101-115, 2005.
13. E. Badouel, M. Bednarczyk, A. Borzyszkowski, B. Caillaud, and P. Darondean. Concurrent secrets. Discrete Event Dynamic Systems, 17(4), pp. 425-446, 2007.
14. F. Lin. Opacity of discrete event systems and its Applications. Submitted for publication. Available at http://ece.eng.wayne.edu/-flin.
15. R Dingledine, N Mathewson, and P Syverson. Reputation in P2P Anonymity Systems. Workshop on Economics of Peer-to-Peer Systems, 2003.
16. M.K. Reiter and A.D. Rubin. Crowds: anonymity for Web transactions. ACM Transactions on Information and System Security, 1998.
17. V Shmatikov. Probabilistic model checking of an anonymity system. Journal of Computer Security, 2004.
18. N. Ben Hadji-Alouane, S. Lafrance, F. Lin, J.Mullins, and M. Yeddes. On the verification of intransitive noninterference in multilevel security. IEEE Transactions on Systems, Man and Cybernetics- Part B: Cybernetics, 35(5), pp. 948-958, 2005.
19. L.Mazare. Using unification for opacity properties. Proceedings of the Workshop on Issues. The Theory of Security (WITS'04), 2004.
20. L. Mazare. Decidability Of Opacity With Non-Atomic Keys, Verimag Technical Report number TR-2004-2023, Nov 2004.
21. J. Florent, R. Michael, and V. Laurent. Compiling and verifying security protocols. Logic Programming and Automated Reasoning, pp. 131-160, 2000.
22. J. W. Bryans, M. Koutny, and P. Y. A. Ryan. Modeling opacity using Petri nets.Electronic notes in Theoretical Computer Science,vol. 121, pp. 101-115, February 2005.
23. A. Martin, and R. Phillip. Reconciling two views of cryptogtaphy (the computational soundness of formal encryption). IFIP International Conference on Theoritecal Computer Science(IFIP TCS2000), 2000.