首頁 > 期刊 > 自然科學(xué)與工程技術(shù) > 信息科技 > 無線電電子學(xué) > 電子學(xué)報 > 動態(tài)異構(gòu)冗余結(jié)構(gòu)的擬態(tài)防御自動機模型 【正文】
摘要:動態(tài)異構(gòu)冗余結(jié)構(gòu)是擬態(tài)防御技術(shù)的常用工程模型.然而,目前尚缺乏對該結(jié)構(gòu)實施形式化分析的手段,因為該結(jié)構(gòu)缺乏形式化建模方法.針對此問題,使用有窮狀態(tài)自動機及其并行組合自動機為一些擬態(tài)攻防行為建立計算模型.首先,使用單個有窮狀態(tài)自動機為單個執(zhí)行體建模;其次,使用有窮狀態(tài)自動機的并行組合為執(zhí)行體組合建模;再次,修改狀態(tài)遷移規(guī)則,得到可描述攻防行為的擬態(tài)防御自動機模型;最后,根據(jù)該自動機模型的狀態(tài)條件,分析動態(tài)異構(gòu)冗余結(jié)構(gòu)上擬態(tài)攻防行為的安全性.此外,也可使用交替自動機為擬態(tài)攻防建模,并把安全性自動分析規(guī)約為交替自動機模型檢測問題.
注:因版權(quán)方要求,不能公開全文,如需全文,請咨詢雜志社
主管單位:中國科學(xué)技術(shù)協(xié)會;主辦單位:中國電子學(xué)會
一對一咨詢服務(wù)、簡單快捷、省時省力
了解更多 >直郵到家、實時跟蹤、更安全更省心
了解更多 >去除中間環(huán)節(jié)享受低價,物流進度實時通知
了解更多 >正版雜志,匹配度高、性價比高、成功率高
了解更多 >