Iteration composition analysis of non-interference in cyber-physical system

International Journal of Simulation: Systems, Science and Technology

Volumn 17, Issue 26, 2016, Pages

  Wang, JingMing ^a  

^a CHUZHOU UNIVERSITY   (China)

Author keywords

Cyber physical Systems; Information Flow Security; Iteration composition; Petri Net

Indexed keywords

FORMAL METHODS; ITERATIVE METHODS; PETRI NETS; SECURITY OF DATA;

COMPOSITION ANALYSIS; CYBER PHYSICAL SYSTEMS (CPSS); INFORMATION FLOW SECURITY; INFORMATION SECURITY MODELS; NON INTERFERENCE; PHYSICAL COMPONENTS; PHYSICAL LEVEL; SMALL SYSTEMS;

EMBEDDED SYSTEMS;

EID: 84994583205     PISSN: 14738031     EISSN: 1473804X     Source Type: Journal    
DOI: 10.5013/IJSSST.a.17.26.09     Document Type: Article

References (12)

1. T. T. Gamage and B. M. McMillin. “Observing for Changes: Non-Deducibility Based Analysis of Cyber-Physical Systems”. In Proceedings of the 3rd International Federation for Information Processing Conference (IFIP WG 11.10). Hanover, NH: Springer Boston, pp. 169–183, April 2009.
2. E. Lee. “Cyber Physical Systems: Design Challenges”. University of California, Berkeley Technical Report No. UCB/EECS-2008- 8, 2008.
3. J. A. Goguen, J. Meseguer. “Security policies and security models”. Proc. 1982 IEEE Symposium on Security and Privacy, IEEE Press, pp 11-20, 1982.
4. J. A. Goguen, J. Meseguer. “Inference control and unwinding”. Proc. 1984 IEEE Symposium on Security and Privacy, IEEE Press, pp. 75-86, 1984.
5. Ravi Akella, Han Tang, Bruce M. McMillin. “Analysis of information flow security in cyber-physical system”. International Journal of Critical Infrastructure Protection. 3:157-173, 2010.
6. Simone Frau, Roberto Gorrieri, Carlo Ferigato. “Petri Net Security Checker: Structural Non-interference at Work”. Formal Aspects in Security and Trust, Springer LNCS 5491:210-225, 2009.
7. N. Busi, R. Gorrieri. “A Survey on NonInterference with Petri Nets”. Advanced Course on Petri Nets 2003, Springer LNCS 3098:328-344, 2004.
8. R. Focardi, R. Gorrieri. “Classification of Security Properties (Part I: Information Flow)”, Foundations of Security Analysis and Design - Tutorial Lectures (R. Focardi and R.Gorrieri, Eds.), Springer LNCS 2171: 331-396, 2001.
9. Song Chen, Cong-hua Zhou, Shi-guang Ju, Hai-yang Li. “Analysis for the composition of information flow security properties on Petri net”. In Proceedings of the 3rd IEEE International Conference on Information Science and Engineering, Hefei, china, Dec, 2010.
10. R. Focardi, R. Gorrieri. “A Classification of Security Properties”. Journal of Computer Security. 3 (1): 5-33, 1995.
11. Jingming Wang, Huiqun Yu. “Analysis of the Composition of Non-Deducibility in Cyber-Phyiscal Systems”. Applied Mathematics & Information Sciences. 8,6(2014), pp. 3137-3143.
12. Jingming Wang, Huiqun Yu. “Sequence compostion analysis of non-interference in cyber-physical system with Petri net”. International Journal of Security and its Applications. 8,3(2014), pp. 185-192.