<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
    • 動態異構冗余
    • 擬態防御
    • 自動機

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

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

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

    我們提供的服務

    服務流程: 確定期刊 支付定金 完成服務 支付尾款 在線咨詢
    主站蜘蛛池模板: 福州市| 仁寿县| 墨竹工卡县| 伊宁县| 闽侯县| 疏附县| 益阳市| 兴义市| 庄河市| 阿瓦提县| 松桃| 翁牛特旗| 海晏县| 东阳市| 关岭| 平湖市| 松滋市| 南岸区| 双辽市| 佳木斯市| 顺昌县| 福建省| 科技| 南乐县| 丰顺县| 东阳市| 潜山县| 微博| 通榆县| 和平区| 弥渡县| 京山县| 澜沧| 长治县| 永平县| 哈巴河县| 德庆县| 南昌市| 福鼎市| 营口市| 库尔勒市|