Vulnerability analysis of networks to detect multiphase attacks using the actor-based language Rebeca

DOI10.1016/J.COMPELECENG.2008.04.009zbMath1208.68060OpenAlexW2090416564WikidataQ57835365 ScholiaQ57835365MaRDI QIDQ605695

Mohammad Sadegh Makarem, Marjan Sirjani, Ali Movaghar, Hamid Reza Shahriari, Rasool Jalili

Publication date: 25 November 2010

Published in: Computers and Electrical Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.compeleceng.2008.04.009

zbMATH Keywords

model checkingactorvulnerability analysissecurity analysisRebeca language

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies for text processing; mathematical typography (68U15)

Related Items (1)

A Method for Estimation of the Success Probability of an Intrusion Process by Considering the Temporal Aspects of the Attacker Behavior

This page was built for publication: Vulnerability analysis of networks to detect multiphase attacks using the actor-based language Rebeca