时序电路有限状态机设计的安全性研究

发布时间：2018-01-04 07:16

  本文关键词：时序电路有限状态机设计的安全性研究　出处：《西南交通大学学报》2017年02期 　论文类型：期刊论文

  更多相关文章： 有限状态机 硬件安全 时序电路 设计功能无关状态

【摘要】：针对有限状态机优化设计过程中与功能无关的状态会带来的潜在安全问题,基于对其被侵入因素和攻击途径进行分析的基础上,提出了安全状态的定义,并实现了安全状态的设计方法.通过增加T触发器一个反馈信号,在不影响触发器功能条件下,对有限状态机进行状态保护.研究结果表明:添加状态自锁后的实验电路在功耗、时延和面积上要比原始实验电路提高了144.7%;优化T触发器后的实验电路在功耗上比原始实验电路降低了3.6%,在面积上降低了18.9%,在时延上提高了19.6%.
[Abstract]:Based on the analysis of the intrusion factor and attack path , the state protection of the finite state machine is put forward based on the analysis of the intrusion factor and attack path . The results show that the experimental circuit after adding the state self - lock has improved the power consumption , the time delay and the area by 144 . 7 % . The experimental circuit after the optimization of the T flip - flop is reduced by 3.6 % compared with the original experimental circuit in power consumption , the area is reduced by 18.9 % , and the time delay is improved by 19.6 % .

【作者单位】： 北京语言大学研究生院;中国矿业大学机电与信息学院;
【基金】：国家自然科学基金资助项目(61228204)
【分类号】：TN702
【正文快照】： 时序电路系统是设备控制系统的重要组成部分,负责控制和监督整个系统状态的转移、安全的认证、运行的保护和执行器件操作的调度.正是由于时序电路的核心调度作用,其硬件设计安全性受到业界的关注[1].时序电路设计中存在的漏洞会给黑客提供侵入的途径,使整个系统出现运算出错、

【相似文献】

中国期刊全文数据库 前10条

1 张涌,钱乐秋,王渊峰;基于确定有限状态机的测试输入序列选取[J];计算机研究与发展;2002年09期

2 陈云芳;王汝传;杨学刚;;基于扩展有限状态机的诱骗服务器关键技术研究[J];计算机科学;2004年06期

3 赵保华;钱兰;周颢;郭雄辉;;基于有限状态机的错误诊断算法[J];电子与信息学报;2006年09期

4 刘霞;年小玲;游霞;;消除EFSM中状态迁移不确定的方法[J];攀枝花学院学报;2006年04期

5 徐卫林;罗林;;有限状态机的可靠性设计研究[J];现代电子技术;2007年01期

6 夏银水;王伦耀;叶锡恩;;划分有限状态机的低功耗实现模型[J];计算机辅助设计与图形学学报;2007年05期

7 向培素;田珂;田野;;非确定部分有限状态机的一种新的一致性关系及其测试[J];西南民族大学学报(自然科学版);2007年06期

8 李炜;吴建国;刘政怡;;非完全确定有限状态机最小闭覆盖的有效算法[J];四川大学学报(工程科学版);2007年S1期

9 李晓锋;宋锐;曾小宝;;有限状态机在嵌入式系统中的实现及应用[J];广西轻工业;2008年04期

10 杨京开;邓培民;易忠;;模糊有限状态机的一些性质[J];模糊系统与数学;2010年01期

中国重要会议论文全文数据库 前10条

1 李炜;吴建国;刘政怡;;非完全确定有限状态机最小闭覆盖的有效算法[A];第四届中国软件工程大会论文集[C];2007年

2 李炜;刘政怡;吴建国;;基于完全确定有限状态机的控制器综合的验证[A];全国第19届计算机技术与应用（CACIS）学术会议论文集（下册）[C];2008年

3 李炜;许中卫;刘政怡;刘露露;;非完全确定有限状态机最小化有效算法的研究[A];2005年“数字安徽”博士科技论坛论文集[C];2005年

4 邹循进;叶云青;陈孝威;;C++游戏开发中可重用动态有限状态机设计与实现[A];第三届和谐人机环境联合学术会议（HHME2007）论文集[C];2007年

5 方敏;;基于分层有限状态机的计算机取证推理方法[A];2008年计算机应用技术交流会论文集[C];2008年

6 刘晓明;赖祥;黄松;;一种基于邻接矩阵的有限状态机路径产生方法[A];全国第19届计算机技术与应用（CACIS）学术会议论文集（下册）[C];2008年

7 王宗义;;有限状态机原理在OA系统中的运用[A];广西计算机学会25周年纪念会暨2011年学术年会论文集[C];2011年

8 张剑鸣;杨正球;;基于Struts架构的考核系统软件的设计[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集（上册）[C];2008年

9 闫宏伟;李慧;李金城;;基于指令集操作的Verilog HDL有限状态机设计方法[A];第十七届全国青年通信学术年会论文集[C];2012年

10 谈国新;周穆雄;钟正;;虚拟场景中多Agent行为交互技术研究[A];第六届和谐人机环境联合学术会议（HHME2010)、第19届全国多媒体学术会议（NCMT2010）、第6届全国人机交互学术会议（CHCI2010）、第5届全国普适计算学术会议（PCC2010）论文集[C];2010年

中国重要报纸全文数据库 前1条

1 记者 常丽君;纳米线计算机推迟摩尔法则大限[N];科技日报;2014年

中国硕士学位论文全文数据库 前10条

1 杨凯;基于有限状态机理论的MCS控制系统的设计与实现[D];浙江大学;2015年

2 邓阳;基于Android平台的语音控制系统的设计与实现[D];东北大学;2014年

3 鲁梦昆;基于有限状态机的全自动编织袋套袋机控制策略设计[D];湖北工业大学;2016年

4 赵宇乾;基于FPGA的SOC设计与验证[D];河北大学;2016年

5 王伟;自助行李托运系统优化设计研究[D];中国民航大学;2013年

6 张粟;大型多人在线角色扮演类游戏中有限状态机系统的设计与实现[D];北京交通大学;2010年

7 黄丽雯;嵌入式Web服务器中有限状态机的设计与实现[D];东北大学;2005年

8 谭同超;有限状态机及其应用[D];华南理工大学;2013年

9 朱挺;低功耗有限状态机的综合与优化研究[D];浙江大学;2004年

10 许固镇;关于直觉模糊有限状态机若干问题的讨论[D];广西师范大学;2011年

，

本文编号：1377593