• Home
  • Search
  • Integrated formal modeling and automated analysis of computer network attacks
  • Cite Icon1
  • https://doi.org/10.17877/de290r-152Copy DOI Icon

Integrated formal modeling and automated analysis of computer network attacks

  • Abstract
  • Literature Map
  • References
  • Citations
  • Similar Papers
Abstract

Die vorhandenen Ansatze zur formalen Modellierung und Analyse von Computernetzwerksicherheit sind entweder auf eine Protokoll-, Knoten-, oder Netzwerksicht ausgerichtet. Meist beschranken sie sich sogar auf einen speziellen Teilbereich einer dieser Sichten (z.B. eine bestimmte Art von Protokollen, die Interaktion zwischen den lokalen Komponenten eines Knotens, oder die Ausbreitung vordefininierter Verletzlichkeiten). Insgesamt wird von jedem Ansatz jeweils nur ein kleiner Teil der Aspekte, die in praktischen Computernetzwerkangriffsszenarien vorkommen, abgedeckt. Hinzu kommen oft weitere Einschrankungen in Bezug auf Unterstutzung dynamischer Anderungen, modellier- und untersuchbare Eigenschaften, benotigte Unterstutzung der Analyse durch den Benutzer, usw. Um eine vollstandigere Sicht auf Computernetzwerkangriffsszenarien zu erhalten, mussen daher mehrere Ansatze, und damit auch Modelle, Formalismen und Werkzeuge, eingesetzt werden. Sowohl die Modellierungs- als auch die Analysearbeit fallen damit mehrfach an und Konsistenz zwischen den verschiedenen Modellen und Analyseergebnissen lasst sich nur sehr schwer erreichen. In dieser Arbeit wird ein neuartiger Ansatz vorgestellt, der die Protokoll-, Knoten und Netzwerksicht auf mittlerer Detailebene ubergreifend integriert. Die Modelle sind ausdrucksstark genug, um dynamische Anderungen zu beinhalten. Vielfaltige Eigenschaften konnen uber unterschiedliche Mechanismen spezifiziert werden. Da integrierte Modelle deutlich komplexer als eingeschrankte Modelle fur einen Teilbereich sind, ist die Analyse besonders schwierig. Im Allgemeinen schlagen Ansatze zur automatischen Analyse schnell durch Zustandsraumexplosion fehl. Durch eine intelligente Modellierung, die Berucksichtigung von Optimierungsmoglichkeiten auf allen Ebenen, die Modellierung mit einer objektorientieren und kompositionalen, aber trotzdem auf einer einfachen Struktur basierenden Sprache, und dem Einsatz eines dem aktuellen Stand der Forschung entsprechenden Analysewerkzeuges sind wir trotzdem in der Lage, erfolgreich automatisiert zu analysieren. Unser Ansatz basiert auf der Spezifikationshochsprache CTLA 2003, einem Framework zur Modellierung von Computernetzwerkangriffsszenarien, einem Ubersetzungsschema von CTLA 2003 nach PROMELA, dem CTLA2PC Ubersetzungs- und Optimierungswerkzeug, und dem machtigen Modellchecker SPIN. Die Durchfuhrbarkeit unseres Ansatzes wird durch die Modellierung und Analyse von drei dynamischen Netzwerkszenarien zunehmender Komplexitat aufgezeigt. In diesen Szenarien werden konkrete Angriffsfolgen als Verletzungen vorgegebener Sicherheitseigenschaften automatisch aufgedeckt.%%%%In the field of formal modeling and analysis as related to computer network security, existing approaches are highly specialized towards either a protocol, node, or network view. Typically, they are even further specialized towards a specific subset of one view (e.g., a certain class of protocols, interactions of local node components, or network propagation of predefined vulnerabilities). Thus, each approach…

Similar Papers
  • Book Chapter
  • Citations5

Detecting and Classifying Attacks in Computer Networks Using Feed-Forward and Elman Neural Networks

  • Jan 01, 2006
  • V Alarcon-Aquino +3
  • Conference Article

Detection of the latent laws at the analysis of the distributed attacks in computer networks

  • Oct 01, 2010
  • S J Jumaniyozov
  • PDF
  • Research Article
  • Citations1

Computer Network Attacks and Modern International Law

  • Apr 28, 2014
  • MGIMO Review of International Relations
  • Andrey L Kozik
  • PDF
  • Research Article
  • Citations4

CNA Tactics and Techniques: A Structure Proposal

  • Feb 10, 2021
  • Journal of Sensor and Actuator Networks
  • Antonio Villalón-Huerta +2
  • Research Article

Research on Computer Network Security and Prevention Strategy

  • Oct 01, 2014
  • Applied Mechanics and Materials
  • Biao Li
  • Research Article

Detection of Attacks in Computer Networks Using C4.5 Decision Tree Algorithm: An Approach to Network Security

  • Oct 15, 2024
  • International Journal of Information Engineering and Science
  • Wahyu Wijaya Widiyanto +1
  • Book Chapter
  • Citations5

Chapter 2 - Cyberwarfare Concepts

  • Jan 01, 2017
  • Advanced Persistent Security
  • Ira Winkler +1
  • Conference Article
  • Citations17

Modeling Fundamental Geo-Raster Operations with Array Algebra

  • Oct 01, 2007
  • Angelica Garcia Gutierrez +1
  • Research Article
  • Citations4

Detection of zero‐day attacks in computer networks using combined classification

  • Sep 06, 2022
  • Concurrency and Computation: Practice and Experience
  • Hamid Gavari Bami +4
  • Research Article

О дискретно-автоматных моделях атак в компьютерных сетях

  • Dec 01, 2016
  • Prikladnaya diskretnaya matematika. Prilozhenie
  • D E Gorbatenko +2
  • Research Article
  • Citations25

Human Factors in Cyber Warfare

  • Sep 01, 2013
  • Proceedings of the Human Factors and Ergonomics Society Annual Meeting
  • Benjamin A Knott +6
  • Single Report

Space, Time and Force: Relationships in Cyber Space

  • Feb 05, 2001
  • Jeffrey K Souder
  • Book Chapter
  • Citations4

Network Softwarization View of 5G Networks

  • Sep 14, 2018
  • Takashi Shimizu +2
  • Conference Article

Low-complexity fault diagnosis under the multiple observation time testing approach

  • Nov 20, 1996
  • I Pomeranz +1
  • Research Article
  • Citations2

Caring and Working during the COVID-19 Pandemic: Perspective of Portuguese Residential Care Facility Workers.

  • May 13, 2022
  • International Journal of Environmental Research and Public Health
  • Maria Miguel Barbosa +4
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.