<cite id="yyiou"><tbody id="yyiou"></tbody></cite>
<cite id="yyiou"><samp id="yyiou"></samp></cite>
  • <s id="yyiou"></s><bdo id="yyiou"><optgroup id="yyiou"></optgroup></bdo>
  • <cite id="yyiou"><tbody id="yyiou"></tbody></cite>

    首頁 > 期刊 > 自然科學與工程技術 > 信息科技 > 無線電電子學 > 電子學報 > 動態異構冗余結構的擬態防御自動機模型 【正文】

    動態異構冗余結構的擬態防御自動機模型

    朱維軍; 郭淵博; 黃伯虎 鄭州大學信息工程學院; 河南鄭州450001; 北京大學信息科學技術學院; 北京100871; 信息工程大學密碼工程學院; 河南鄭州450001; 西安電子科技大學計算機學院; 陜西西安710071
    • 動態異構冗余
    • 擬態防御
    • 自動機

    摘要:動態異構冗余結構是擬態防御技術的常用工程模型.然而,目前尚缺乏對該結構實施形式化分析的手段,因為該結構缺乏形式化建模方法.針對此問題,使用有窮狀態自動機及其并行組合自動機為一些擬態攻防行為建立計算模型.首先,使用單個有窮狀態自動機為單個執行體建模;其次,使用有窮狀態自動機的并行組合為執行體組合建模;再次,修改狀態遷移規則,得到可描述攻防行為的擬態防御自動機模型;最后,根據該自動機模型的狀態條件,分析動態異構冗余結構上擬態攻防行為的安全性.此外,也可使用交替自動機為擬態攻防建模,并把安全性自動分析規約為交替自動機模型檢測問題.

    注:因版權方要求,不能公開全文,如需全文,請咨詢雜志社

    投稿咨詢 免費咨詢 雜志訂閱

    我們提供的服務

    服務流程: 確定期刊 支付定金 完成服務 支付尾款 在線咨詢
    主站蜘蛛池模板: 万山特区| 周口市| 监利县| 太原市| 嘉禾县| 左云县| 汕头市| 宁夏| 婺源县| 双辽市| 谢通门县| 沈阳市| 齐河县| 怀远县| 东山县| 台南县| 南充市| 轮台县| 永定县| 得荣县| 克什克腾旗| 卢湾区| 嘉义市| 贵港市| 蒲城县| 阳泉市| 鸡东县| 靖江市| 宜丰县| 阿勒泰市| 汉寿县| 雷州市| 龙海市| 宿松县| 惠安县| 神木县| 达尔| 襄汾县| 鞍山市| 包头市| 油尖旺区|