本文關(guān)鍵詞：時(shí)序電路有限狀態(tài)機(jī)設(shè)計(jì)的安全性研究　出處：《西南交通大學(xué)學(xué)報(bào)》2017年02期 　論文類型：期刊論文

  更多相關(guān)文章： 有限狀態(tài)機(jī) 硬件安全 時(shí)序電路 設(shè)計(jì)功能無關(guān)狀態(tài)

【摘要】：針對(duì)有限狀態(tài)機(jī)優(yōu)化設(shè)計(jì)過程中與功能無關(guān)的狀態(tài)會(huì)帶來的潛在安全問題,基于對(duì)其被侵入因素和攻擊途徑進(jìn)行分析的基礎(chǔ)上,提出了安全狀態(tài)的定義,并實(shí)現(xiàn)了安全狀態(tài)的設(shè)計(jì)方法.通過增加T觸發(fā)器一個(gè)反饋信號(hào),在不影響觸發(fā)器功能條件下,對(duì)有限狀態(tài)機(jī)進(jìn)行狀態(tài)保護(hù).研究結(jié)果表明:添加狀態(tài)自鎖后的實(shí)驗(yàn)電路在功耗、時(shí)延和面積上要比原始實(shí)驗(yàn)電路提高了144.7%;優(yōu)化T觸發(fā)器后的實(shí)驗(yàn)電路在功耗上比原始實(shí)驗(yàn)電路降低了3.6%,在面積上降低了18.9%,在時(shí)延上提高了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 % .

【作者單位】： 北京語言大學(xué)研究生院;中國礦業(yè)大學(xué)機(jī)電與信息學(xué)院;
【基金】：國家自然科學(xué)基金資助項(xiàng)目(61228204)
【分類號(hào)】：TN702
【正文快照】： 時(shí)序電路系統(tǒng)是設(shè)備控制系統(tǒng)的重要組成部分,負(fù)責(zé)控制和監(jiān)督整個(gè)系統(tǒng)狀態(tài)的轉(zhuǎn)移、安全的認(rèn)證、運(yùn)行的保護(hù)和執(zhí)行器件操作的調(diào)度.正是由于時(shí)序電路的核心調(diào)度作用,其硬件設(shè)計(jì)安全性受到業(yè)界的關(guān)注[1].時(shí)序電路設(shè)計(jì)中存在的漏洞會(huì)給黑客提供侵入的途徑,使整個(gè)系統(tǒng)出現(xiàn)運(yùn)算出錯(cuò)、

【相似文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 張涌,錢樂秋,王淵峰;基于確定有限狀態(tài)機(jī)的測(cè)試輸入序列選取[J];計(jì)算機(jī)研究與發(fā)展;2002年09期

2 陳云芳;王汝傳;楊學(xué)剛;;基于擴(kuò)展有限狀態(tài)機(jī)的誘騙服務(wù)器關(guān)鍵技術(shù)研究[J];計(jì)算機(jī)科學(xué);2004年06期

3 趙保華;錢蘭;周顥;郭雄輝;;基于有限狀態(tài)機(jī)的錯(cuò)誤診斷算法[J];電子與信息學(xué)報(bào);2006年09期

4 劉霞;年小玲;游霞;;消除EFSM中狀態(tài)遷移不確定的方法[J];攀枝花學(xué)院學(xué)報(bào);2006年04期

5 徐衛(wèi)林;羅林;;有限狀態(tài)機(jī)的可靠性設(shè)計(jì)研究[J];現(xiàn)代電子技術(shù);2007年01期

6 夏銀水;王倫耀;葉錫恩;;劃分有限狀態(tài)機(jī)的低功耗實(shí)現(xiàn)模型[J];計(jì)算機(jī)輔助設(shè)計(jì)與圖形學(xué)學(xué)報(bào);2007年05期

7 向培素;田珂;田野;;非確定部分有限狀態(tài)機(jī)的一種新的一致性關(guān)系及其測(cè)試[J];西南民族大學(xué)學(xué)報(bào)(自然科學(xué)版);2007年06期

8 李煒;吳建國;劉政怡;;非完全確定有限狀態(tài)機(jī)最小閉覆蓋的有效算法[J];四川大學(xué)學(xué)報(bào)(工程科學(xué)版);2007年S1期

9 李曉鋒;宋銳;曾小寶;;有限狀態(tài)機(jī)在嵌入式系統(tǒng)中的實(shí)現(xiàn)及應(yīng)用[J];廣西輕工業(yè);2008年04期

10 楊京開;鄧培民;易忠;;模糊有限狀態(tài)機(jī)的一些性質(zhì)[J];模糊系統(tǒng)與數(shù)學(xué);2010年01期

中國重要會(huì)議論文全文數(shù)據(jù)庫 前10條

1 李煒;吳建國;劉政怡;;非完全確定有限狀態(tài)機(jī)最小閉覆蓋的有效算法[A];第四屆中國軟件工程大會(huì)論文集[C];2007年

2 李煒;劉政怡;吳建國;;基于完全確定有限狀態(tài)機(jī)的控制器綜合的驗(yàn)證[A];全國第19屆計(jì)算機(jī)技術(shù)與應(yīng)用（CACIS）學(xué)術(shù)會(huì)議論文集（下冊(cè)）[C];2008年

3 李煒;許中衛(wèi);劉政怡;劉露露;;非完全確定有限狀態(tài)機(jī)最小化有效算法的研究[A];2005年“數(shù)字安徽”博士科技論壇論文集[C];2005年

4 鄒循進(jìn);葉云青;陳孝威;;C++游戲開發(fā)中可重用動(dòng)態(tài)有限狀態(tài)機(jī)設(shè)計(jì)與實(shí)現(xiàn)[A];第三屆和諧人機(jī)環(huán)境聯(lián)合學(xué)術(shù)會(huì)議（HHME2007）論文集[C];2007年

5 方敏;;基于分層有限狀態(tài)機(jī)的計(jì)算機(jī)取證推理方法[A];2008年計(jì)算機(jī)應(yīng)用技術(shù)交流會(huì)論文集[C];2008年

6 劉曉明;賴祥;黃松;;一種基于鄰接矩陣的有限狀態(tài)機(jī)路徑產(chǎn)生方法[A];全國第19屆計(jì)算機(jī)技術(shù)與應(yīng)用（CACIS）學(xué)術(shù)會(huì)議論文集（下冊(cè)）[C];2008年

7 王宗義;;有限狀態(tài)機(jī)原理在OA系統(tǒng)中的運(yùn)用[A];廣西計(jì)算機(jī)學(xué)會(huì)25周年紀(jì)念會(huì)暨2011年學(xué)術(shù)年會(huì)論文集[C];2011年

8 張劍鳴;楊正球;;基于Struts架構(gòu)的考核系統(tǒng)軟件的設(shè)計(jì)[A];2007北京地區(qū)高校研究生學(xué)術(shù)交流會(huì)通信與信息技術(shù)會(huì)議論文集（上冊(cè)）[C];2008年

9 閆宏偉;李慧;李金城;;基于指令集操作的Verilog HDL有限狀態(tài)機(jī)設(shè)計(jì)方法[A];第十七屆全國青年通信學(xué)術(shù)年會(huì)論文集[C];2012年

10 談國新;周穆雄;鐘正;;虛擬場景中多Agent行為交互技術(shù)研究[A];第六屆和諧人機(jī)環(huán)境聯(lián)合學(xué)術(shù)會(huì)議（HHME2010)、第19屆全國多媒體學(xué)術(shù)會(huì)議（NCMT2010）、第6屆全國人機(jī)交互學(xué)術(shù)會(huì)議（CHCI2010）、第5屆全國普適計(jì)算學(xué)術(shù)會(huì)議（PCC2010）論文集[C];2010年

中國重要報(bào)紙全文數(shù)據(jù)庫 前1條

1 記者 常麗君;納米線計(jì)算機(jī)推遲摩爾法則大限[N];科技日?qǐng)?bào);2014年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 楊凱;基于有限狀態(tài)機(jī)理論的MCS控制系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[D];浙江大學(xué);2015年

2 鄧陽;基于Android平臺(tái)的語音控制系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[D];東北大學(xué);2014年

3 魯夢(mèng)昆;基于有限狀態(tài)機(jī)的全自動(dòng)編織袋套袋機(jī)控制策略設(shè)計(jì)[D];湖北工業(yè)大學(xué);2016年

4 趙宇乾;基于FPGA的SOC設(shè)計(jì)與驗(yàn)證[D];河北大學(xué);2016年

5 王偉;自助行李托運(yùn)系統(tǒng)優(yōu)化設(shè)計(jì)研究[D];中國民航大學(xué);2013年

6 張粟;大型多人在線角色扮演類游戲中有限狀態(tài)機(jī)系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[D];北京交通大學(xué);2010年

7 黃麗雯;嵌入式Web服務(wù)器中有限狀態(tài)機(jī)的設(shè)計(jì)與實(shí)現(xiàn)[D];東北大學(xué);2005年

8 譚同超;有限狀態(tài)機(jī)及其應(yīng)用[D];華南理工大學(xué);2013年

9 朱挺;低功耗有限狀態(tài)機(jī)的綜合與優(yōu)化研究[D];浙江大學(xué);2004年

10 許固鎮(zhèn);關(guān)于直覺模糊有限狀態(tài)機(jī)若干問題的討論[D];廣西師范大學(xué);2011年

，

本文編號(hào)：1377593