面向CPS时空约束的资源建模及其安全性验证方法

信息物理融合系统CPS(cyber physical system)是在环境感知的基础上,集合物理与计算的系统,可以实现与环境的智能交互.CPS信息物理空间的不断变化,对CPS资源安全性造成一定的挑战.因此,如何研究这一类由时空变化而导致的CPS资源安全性问题成为关键.针对该问题,提出了面向CPS时空约束的资源建模及其安全性验证方法.首先,在TCSP(timed communicating sequential process)的基础上扩展资源向量,提出了时空资源通信顺序进程DSR-TCSP(duration-space resource TCSP),使其能够描述CPS拓扑环境下的资源;其次,从时空约束的资源安全性需求中获取时间安全需求,通过DSR-TCSP的时间属性验证算法对时间安全需求进行验证;再次,将满足时间安全需求的模型转换为偶图与偶图反应,并输入到偶图检验工具Big MC中,验证其物理拓扑安全需求,对没有通过验证的反例,修改DSR-TCSP模型,直至满足所提出的安全需求;最后,通过一个驾驶场景实例,验证该方法的有效性.

寻求网络的安全保障谈谈CryS TINA方案——TINA技术的应用和原理(六)

“CryS TINA项目”(Cryptographically Secured TINA Project,即“保密安全的TINA”项目),是由瑞士联邦政府拨款立项的国家重点项目(编号为:5003-045364)。该项目的牵头单位是瑞士联邦技术院(Swiss Federal Institute of Technology),协作单位是瑞士电信和西门子慕尼黑公司,形成由政府下属部门、运营商和制造商的“三结合”研发模式,取得了较好的实效。