Alternative composition analysis of noninterference in cyber-physical system

Abstract

At present, a rather big challenge to model cyber-physical systems is to stand for the interactions between physical level and cyber level. Researchers are faced with the trouble in the analysis of information security property of noninterference in cyber-physical systems because of the physical components and behavior appended to cyber components and systems. A new method is put forward with Petri net for working out this problem effectively by composing the complicated and large systems with simple and small systems. Meanwhile, it accomplishes the noninterference information flow security property. In this paper, this method is used to analyze the information security property of noninterference and its alternative composition in cyber-physical systems. This research provides a new formal method to explore information security property of noninterference and a sufficiency and necessary condition of alternative composition of noninterference of information security model in cyber-physical systems.

Keywords

Cyber-physical systems Petri net information flow security alternative composition

References

Gamage

T.T.

and McMillin

B.M.

, 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, April 2009, pp. 169-183.

Lee

, Cyber Physical Systems: Design Challenges. University of California, Berkeley Technical Report No. UCB/EECS-2008-8, 2008.

Goguen

J.A.

and Meseguer

, Security policies and security models. Proc. 1982 IEEE Symposium on Security and Privacy, IEEE Press, 1982, pp. 11-20.

Goguen

J.A.

and Meseguer

, Inference control and unwinding. Proc. 1984 IEEE Symposium on Security and Privacy, IEEE Press, 1984, pp. 75-86.

Akella

, Tang

and McMillin

B.M.

, Analysis of information flow security in cyber-physical system, International Journal of Critical Infrastructure Protection 3 (2010), 157-173.

Frau

, Gorrieri

and Ferigato

, Petri Net Security Checker: Structural Non-interference at Work. Formal Aspects in Security and Trust, Springer LNCS 5491: 210-225, 2009.

Busi

and Gorrieri

, A Survey on NonInterference with Petri Nets. Advanced Course on Petri Nets 2003, Springer LNCS 3098: 328-344, 2004.

Focardi

and Gorrieri

, Classification of Security Properties (Part I: Information Flow), Foundations of Security Analysis and Design - Tutorial Lectures ( Focardi

and Gorrieri

, Eds.), Springer LNCS 2171: 331-396, 2001.

Chen

, Zhou

C.-H.

, Ju

S.-G.

and Li

H.-Y.

, 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.

Focardi

and Gorrieri

, A Classification of Security Properties, Journal of Computer Security 3(1) (1995), 5-33.

11.

Wang

and Yu

, Analysis of the Composition of Non-Deducibility in Cyber-Phyiscal Systems, Applied Mathematics and Information Sciences 8(6) (2014), 3137-3143.

12.

Wang

and Yu

, Sequence compostion analysis of non-interference in cyber-physical system with Petri net, International Journal of Security and its Applications 8(3) (2014), 185-192.