Earticle

초록

영어

Now a considerable challenge to model cyber-physical systems (CPSs) is to represent the cyber and physical level’s interactions. Owing to physical behavior and components appended to cyber systems, researchers meet with the difficulty in the analysis and verification of noninterference information security model in CPSs. A method is proposed with Petri net for solving this problem effectively by composing the complex systems with small systems while achieving the noninterference information flow security property. This paper analyzes the noninterference security property and the sequence composition in cyber-physical systems using the method. This study provides a formal method and foundation for exploring information flow security property and its composition in cyber-physical systems.

목차

Abstract
 1. Introduction
 2. Basic Definitions
  2.1. Petri Net
  2.2. Operations on Petri Net
 3. Model the Noninterference Property in Cyber-physical System
  3.1. The Definition of Noninterference Model
  3.2. Abstract Pipeline Cyber-Physical System
  3.3. Analysis of NNI in Pipeline cyber-physical System
 4. Analysis the Sequence Composition of Pipeline Network Distribution System
 5. Conclusions
 Acknowledgements
 References

키워드

저자

• Jingming Wang [ Department of Computer Science and Engineering, East China University of Science and Technology, Shanghai 200237, China, School of Computer and Information Engineering, Chuzhou University, Anhui 239012, China ]
• Huiqun Yu [ School of Computer and Information Engineering, Chuzhou University, Anhui 239012, China ] Corresponding author
• Chunxia Leng [ Department of Computer Science and Engineering, East China University of Science and Technology, Shanghai 200237, China ]

참고문헌

발행기관

간행물

표지보기 관심저널 등록

• 간행물명

  International Journal of Security and Its Applications

• 간기

  격월간

• pISSN

  1738-9976

• 수록기간

  2008~2016

• 등재여부

  SCOPUS

• 십진분류

  KDC 505 DDC 605