基于GSCPN的硬件木马攻击建模与安全性分析OACSTPCD
针对硬件木马(hardware trojan,HT)的研究主要集中在HT设计和防御的具体策略,缺乏面向HT攻击的系统安全性量化评估模型的问题,提出了基于广义随机着色petri网(generalized stochastic coloring petri net,GSCPN)的HT攻击和安全评估模型。基于单个基本单元的HT攻击行为和状态之间的时序关系,构建了单个基本单元的HT攻击GSCPN模型,根据系统工作状态下基本单元的通信依赖关系,给出了构建系…查看全部>>
梅波;郭威;曹志鹏;李沛杰;张文博
信息工程大学,河南郑州450001信息工程大学,河南郑州450001信息工程大学,河南郑州450001信息工程大学,河南郑州450001信息工程大学,河南郑州450001
计算机与自动化
硬件木马广义随机着色petri网攻击建模连续时间马尔可夫链
《网络与信息安全学报》 2024 (4)
P.72-84,13
国家重点研发计划(2022YFB4401401)。