Verification of current-state opacity using Petri nets

Proceedings of the American Control Conference

Volumn 2015-July, Issue , 2015, Pages 1935-1940

  Tong, Yin ^a   Li, Zhiwu ^a,b,c   Seatzu, Carla ^d   Giua, Alessandro ^e  

^a XIDIAN UNIVERSITY   (China)

^b MACAU UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Macao)

^c KING ABDULAZIZ UNIVERSITY   (Saudi Arabia)

^d UNIVERSITY OF CAGLIARI   (Italy)

^e AIX MARSEILLE UNIVERSITY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

OPACITY; PETRI NETS;

PARTIAL OBSERVATION; REACHABILITY SET;

DISCRETE EVENT SIMULATION;

EID: 84940917258     PISSN: 07431619     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACC.2015.7171016     Document Type: Conference Paper

References (19)

1. N. Busi and R. Gorrieri. A survey on non-interference with Petri nets. In Lectures on Concurrency and Petri Nets, pages 328-344. Springer, 2004.
2. M. K. Reiter and A. D. Rubin. Crowds: Anonymity for web transactions. ACM Transactions on Information and System Security, 1(1):66-92, 1998.
3. V. Shmatikov. Probabilistic analysis of an anonymity system. Journal of Computer Security, 12(3):355-377, 2004.
4. N. B. Hadj-Alouane, S. Lafrance, F. Lin, J. Mullins, and M. M. Yeddes. On the verification of intransitive noninterference in mulitlevel security. IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics, 35(5):948-958, 2005.
5. J. W. Bryans, M. Koutny, and P. Y. Ryan. Modelling opacity using Petri nets. Electronic Notes in Theoretical Computer Science, 121:101-115, 2005.
6. A. Saboori and C. N. Hadjicostis. Verification of initial-state opacity in security applications of DES. In 9th International Workshop on Discrete Event Systems, pages 328-333, 2008.
7. F. Cassez, J. Dubreil, and H. Marchand. Dynamic observers for the synthesis of opaque systems. In Automated Technology for Verification and Analysis, pages 352-367. Springer, 2009.
8. Y. Wu and S. Lafortune. Comparative analysis of related notions of opacity in centralized and coordinated architectures. Discrete Event Dynamic Systems, 23(3):307-339, 2013.
9. Anooshiravan Saboori and Christoforos N Hadjicostis. Notions of security and opacity in discrete event systems. In Decision and Control, 2007 46th IEEE Conference on, pages 5056-5061. IEEE, 2007.
10. Y. Tong, Z. W. Li, and A. Giua. General observation structures for petri nets. In Emerging Technologies & Factory Automation (ETFA), 2013 IEEE 18th Conference on, pages 1-4. IEEE, 2013.
11. Y. Tong, Z. W. Li, and A. Giua. Observation equivalence of petri net generators. In Discrete Event Systems, Volume 12, pages 338-343, 2014.
12. ZhiWu Li and MengChu Zhou. Elementary siphons of petri nets and their application to deadlock prevention in flexible manufacturing systems. Systems, Man and Cybernetics, Part A: Systems and Humans, IEEE Transactions on, 34(1):38-51, 2004.
13. A. Giua and C. Seatzu. Fault detection for discrete event systems using Petri nets with unobservable transitions. In 44th IEEE Conference on Decision and Control, 2005 European Control Conference, pages 6323-6328, 2005.
14. M. P. Cabasino, A. Giua, and C. Seatzu. Fault detection for discrete event systems using Petri nets with unobservable transitions. Automatica, 46(9):1531-1539, 2010.
15. A. Giua, C. Seatzu, and D. Corona. Marking estimation of Petri nets with silent transitions. IEEE Transactions on Automatic Control, 52(9):1695-1699, Sept 2007.
16. M. P. Cabasino, A. Giua, M. Pocci, and C. Seatzu. Discrete event diagnosis using labeled Petri nets. an application to manufacturing systems. Control Engineering Practice, 19(9):989-1001, 2011.
17. T. Murata. Petri nets: Properties, analysis and applications. Procedings of the IEEE, 77(4):541-580, April 1989.
18. C. G. Cassandras and S. Lafortune. Introduction to discrete event systems. Springer, 2008.
19. A. Giua, F. DiCesare, and M. Silva. Generalized mutual exclusion contraints on nets with uncontrollable transitions. In 1992 IEEE International Conference on Systems, Man and Cybernetics, pages 974-979 Vol. 2, Oct 1992.