欧洲成人午夜精品无码区久久_久久精品无码专区免费青青_av无码电影一区二区三区_各种少妇正面着bbw撒尿视频_中文精品久久久久国产网址

首頁 > 期刊 > 自然科學(xué)與工程技術(shù) > 信息科技 > 無線電電子學(xué) > 電子學(xué)報 > 動態(tài)異構(gòu)冗余結(jié)構(gòu)的擬態(tài)防御自動機模型 【正文】

動態(tài)異構(gòu)冗余結(jié)構(gòu)的擬態(tài)防御自動機模型

朱維軍; 郭淵博; 黃伯虎 鄭州大學(xué)信息工程學(xué)院; 河南鄭州450001; 北京大學(xué)信息科學(xué)技術(shù)學(xué)院; 北京100871; 信息工程大學(xué)密碼工程學(xué)院; 河南鄭州450001; 西安電子科技大學(xué)計算機學(xué)院; 陜西西安710071
  • 動態(tài)異構(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é)報

  • 預(yù)計1-3個月 預(yù)計審稿周期
  • 1.24 影響因子
  • 電力 快捷分類
  • 月刊 出版周期

主管單位:中國科學(xué)技術(shù)協(xié)會;主辦單位:中國電子學(xué)會

我們提供的服務(wù)

服務(wù)流程: 確定期刊 支付定金 完成服務(wù) 支付尾款 在線咨詢