尽管 CC 和 SSE-CMM 均可通过对信息安全产品或系统的开发、评价、使用过程等各个环节实施安全工程来确保产品或系统的安全确信度,但 CC 和 SSE-CMM 是两个不同的安全评估标准。文中分别介绍 CC 和 SSE-CMM 的结构模型和特点,并对 CC 和...尽管 CC 和 SSE-CMM 均可通过对信息安全产品或系统的开发、评价、使用过程等各个环节实施安全工程来确保产品或系统的安全确信度,但 CC 和 SSE-CMM 是两个不同的安全评估标准。文中分别介绍 CC 和 SSE-CMM 的结构模型和特点,并对 CC 和 SSE-CMM 进行比较分析。最后,针对 CC 与 SSE-CMM 具有互补性的特点,提出了将CC 与 SSE-CMM 结合起来开发高确信度信息安全产品或系统的开发方法。展开更多
Cyber-Physical Systems(CPS)tightly integrate cyber and physical components and transcend traditional control systems and embedded system.Such systems are often mission-critical;therefore,they must be high-assurance.Hi...Cyber-Physical Systems(CPS)tightly integrate cyber and physical components and transcend traditional control systems and embedded system.Such systems are often mission-critical;therefore,they must be high-assurance.Highassurance CPS require co-verification which takes a comprehensive view of the whole system to verify the correctness of a cyber and physical components together.Lack of strict multiple semantic definition for interaction between the two domains has been considered as an obstacle to the CPS co-verification.A Cyber/Physical interface model for hierarchical a verification of CPS is proposed.First,we studied the interaction mechanism between computation and physical processes.We further classify the interaction mechanism into two levels:logic interaction level and physical interaction level.We define different types of interface model according to combinatorial relationships of the A/D(Analog to Digital)and D/A(Digital to Analog)conversion periodical instants.This interface model has formal semantics,and is efficient for simulation and formal verification.The experiment results show that our approach has major potential in verifying system level properties of complex CPS,therefore improving the high-assurance of CPS.展开更多
文摘尽管 CC 和 SSE-CMM 均可通过对信息安全产品或系统的开发、评价、使用过程等各个环节实施安全工程来确保产品或系统的安全确信度,但 CC 和 SSE-CMM 是两个不同的安全评估标准。文中分别介绍 CC 和 SSE-CMM 的结构模型和特点,并对 CC 和 SSE-CMM 进行比较分析。最后,针对 CC 与 SSE-CMM 具有互补性的特点,提出了将CC 与 SSE-CMM 结合起来开发高确信度信息安全产品或系统的开发方法。
基金This research received financial support from Natural Science Foundation of Hainan province(Grant Nos.617062,2018CXTD333,617048)the National Natural Science Foundation of China(Grant Nos.61462022,61762033,61662019)+1 种基金Major Science and Technology Project of Hainan province(Grant No.ZDKJ2016015)Scientific Research Staring Foundation of Hainan University(Grant No.kyqd1610).
文摘Cyber-Physical Systems(CPS)tightly integrate cyber and physical components and transcend traditional control systems and embedded system.Such systems are often mission-critical;therefore,they must be high-assurance.Highassurance CPS require co-verification which takes a comprehensive view of the whole system to verify the correctness of a cyber and physical components together.Lack of strict multiple semantic definition for interaction between the two domains has been considered as an obstacle to the CPS co-verification.A Cyber/Physical interface model for hierarchical a verification of CPS is proposed.First,we studied the interaction mechanism between computation and physical processes.We further classify the interaction mechanism into two levels:logic interaction level and physical interaction level.We define different types of interface model according to combinatorial relationships of the A/D(Analog to Digital)and D/A(Digital to Analog)conversion periodical instants.This interface model has formal semantics,and is efficient for simulation and formal verification.The experiment results show that our approach has major potential in verifying system level properties of complex CPS,therefore improving the high-assurance of CPS.
