Vulnerability analysis of networks to detect multiphase attacks using the actor-based language Rebeca
From MaRDI portal
Publication:605695
DOI10.1016/j.compeleceng.2008.04.009zbMath1208.68060WikidataQ57835365 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
68M10: Network design and communication in computer systems
68Q60: Specification and verification (program logics, model checking, etc.)
68U15: Computing methodologies for text processing; mathematical typography
Related Items