Modeling and Verification of Complex Network Attacks Using an Actor-Based Language
عنوان مقاله: Modeling and Verification of Complex Network Attacks Using an Actor-Based Language
شناسه ملی مقاله: ACCSI11_198
منتشر شده در یازدهمین کنفرانس سالانه انجمن کامپیوتر ایران در سال 1384
شناسه ملی مقاله: ACCSI11_198
منتشر شده در یازدهمین کنفرانس سالانه انجمن کامپیوتر ایران در سال 1384
مشخصات نویسندگان مقاله:
Hamid Reza Shahriari - Department of Computer Engineering Sharif University of Technology Tehran, Iran
Mohammad Sadegh Makarem,
Marjan Sirjani
Rasool Jalili,
خلاصه مقاله:
Hamid Reza Shahriari - Department of Computer Engineering Sharif University of Technology Tehran, Iran
Mohammad Sadegh Makarem,
Marjan Sirjani
Rasool Jalili,
Increasing use of networks and their complexity have complicated the task of security analysis. Accordingly, automatic verification approaches have received more attention recently. In this paper, we showed how an attacker might combine simple attacks to construct a complex multiphase attack. We use Rebeca language to model the network of hosts and its model checker to find counter-examples as violation of security policies. Some simple attacks have been modeled in previous works in this area. First, we show these simple attacks in our model and then verify the model to find more complex attacks. These complex attacks may include some simpler attacks as their steps. We choose Rebeca because of its powerful yet simple actor-based paradigm in modeling concurrent and distributed systems.
کلمات کلیدی: Security analysis, Attack modeling, Actor, Model checking
صفحه اختصاصی مقاله و دریافت فایل کامل: https://civilica.com/doc/127287/