国产bbaaaaa片,成年美女黄网站色视频免费,成年黄大片,а天堂中文最新一区二区三区,成人精品视频一区二区三区尤物

首頁> 外文學位 >Validating Petri Net Models of Cyberattacks
【24h】

Validating Petri Net Models of Cyberattacks

機譯：驗證網(wǎng)絡(luò)攻擊的Petri網(wǎng)模型

獲取原文
獲取原文并翻譯 | 示例
  • 摘要
  • 著錄項
  • 相似文獻
  • 相關(guān)主題

摘要

As part of a team project modeling computer system vulnerabilities and cyberattacks, this research focused on Petri net models and validation methods for them. First, the chosen target, Metasploitable, was scanned for vulnerabilities, which were matched to Common Attack Pattern Enumeration and Classification (CAPEC) entries. For a preliminary validation, the models were compared with the entries. Then a dynamic validation was applied to two models of CAPEC entries and to one model of a known backdoor, Ingreslock. Three experimental cyberattacks were compared with their respective models, giving partial validation. The results of the comparison show that this dynamic method was only sufficient to validate a specific sequence of each attack. Formal analysis of Petri net properties proved to be more suited to verification of the model, rather than validation.
機譯：作為對計算機系統(tǒng)漏洞和網(wǎng)絡(luò)攻擊進行建模的團隊項目的一部分，本研究著重于Petri網(wǎng)絡(luò)模型及其驗證方法。首先，對選定的目標Metasploitable進行漏洞掃描，并與“常見攻擊模式枚舉和分類（CAPEC）”條目匹配。為了進行初步驗證，將模型與條目進行了比較。然后，將動態(tài)驗證應用于CAPEC條目的兩個模型和已知后門Ingreslock的一個模型。將三個實驗性網(wǎng)絡(luò)攻擊與它們各自的模型進行了比較，從而進行了部分驗證。比較結(jié)果表明，這種動態(tài)方法僅足以驗證每種攻擊的特定順序。事實證明，對Petri網(wǎng)屬性的形式分析更適合于模型驗證，而不是驗證。

著錄項

  • 作者

    Christensen, Nicholas M.;

  • 作者單位

    The University of Alabama in Huntsville.;

  • 授予單位 The University of Alabama in Huntsville.;
  • 學科 Computer science.
  • 學位 M.S.
  • 年度 2017
  • 頁碼 102 p.
  • 總頁數(shù) 102
  • 原文格式 PDF
  • 正文語種 eng
  • 中圖分類 TS97-4;
  • 關(guān)鍵詞

相似文獻

  • 外文文獻
  • 中文文獻
  • 專利
獲取原文

客服郵箱：kefu@zhangqiaokeyan.com

京公網(wǎng)安備：11010802029741號 ICP備案號：京ICP備15016152號-6 六維聯(lián)合信息科技 (北京) 有限公司?版權(quán)所有

  • 客服微信

  • 服務(wù)號