دانلود مقاله انگلیسی رایگان:درختان حمله ایزابل توسعه یافته با احتمالات برای رمزنگاری کوانتومی - 2019
دانلود بهترین مقالات isi همراه با ترجمه فارسی
دانلود مقاله انگلیسی رمزنگاری رایگان
  • Attack trees in Isabelle extended with probabilities for quantum cryptography Attack trees in Isabelle extended with probabilities for quantum cryptography
    Attack trees in Isabelle extended with probabilities for quantum cryptography

    سال انتشار:

    2019


    عنوان انگلیسی مقاله:

    Attack trees in Isabelle extended with probabilities for quantum cryptography


    ترجمه فارسی عنوان مقاله:

    درختان حمله ایزابل توسعه یافته با احتمالات برای رمزنگاری کوانتومی


    منبع:

    Sciencedirect - Elsevier - Computers & Security, 87 (2019) 101572: doi:10:1016/j:cose:2019:101572


    نویسنده:

    Florian Kammüller


    چکیده انگلیسی:

    In this paper, we present a proof calculus for Attack Trees and how its application to Quantum Cryptogra- phy is made possible by extending the framework to probabilistic reasoning on attacks. Attack trees are a well established and useful model for the construction of attacks on systems since they allow a stepwise exploration of high level attacks in application scenarios. Using the expressiveness of Higher Order Logic in Isabelle, we succeed in developing a generic theory of attack trees with a state-based semantics based on Kripke structures and CTL. The resulting framework allows mechanically supported logic analysis of the meta-theory of the proof calculus of attack trees and at the same time the developed proof the- ory enables application to case studies. A central correctness and completeness result proved in Isabelle establishes a connection between the notion of attack tree validity and CTL. Furthermore in this paper, we illustrate the application of Attack Trees to security protocols on the ex- ample of the Quantum Key Distribution (QKD) algorithm. The application motivates the extension of the Attack Tree proof calculus by probabilities. We therefore introduce probabilities to quantify finite event sequences and show how this extension can be used to extend CTL to its probabilistic version PCTL. We show on the example of QKD how probabilistic reasoning with PCTL enables proof of quantitative security properties.
    Keywords: Attack trees | Formal methods | Verification | Probability | Quantum cryptography


    سطح: متوسط
    تعداد صفحات فایل pdf انگلیسی: 12
    حجم فایل: 1622 کیلوبایت

    قیمت: رایگان


    توضیحات اضافی:




اگر این مقاله را پسندیدید آن را در شبکه های اجتماعی به اشتراک بگذارید (برای به اشتراک گذاری بر روی ایکن های زیر کلیک کنید)

تعداد نظرات : 0

الزامی
الزامی
الزامی
rss مقالات ترجمه شده rss مقالات انگلیسی rss کتاب های انگلیسی rss مقالات آموزشی