A Framework Based Approach for Formal Modeling and Analysis of Multi-Level Attacks in Computer Networks

Lecture Notes in Computer Science - Germany
doi 10.1007/11562436_19
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

A Simulation Approach for Risk Modeling and Analysis Based on Multi-Agents

2015English

A Process Control and Diagnosis Approach to Indications and Warning of Attacks on Computer Networks

2001English

Detecting Attacks to Computer Networks Using a Multi-Layer Perceptron Artificial Neural Network

The International Journal of Forensic Computer Science
2008English

Formal Framework for Automated Analysis and Verification of Web-Based Applications

English

A Formal Mathematical Framework for Modeling Probabilistic Hybrid Systems

Annals of Mathematics and Artificial Intelligence
Applied MathematicsArtificial Intelligence
2007English

A Layered Formal Framework for Modeling of Cyber-Physical Systems

2017English

Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-Robot Coordination

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Detection of Low-Rate Attacks in Computer Networks

2008English

A Formal and Practical Framework for Constraint-Based Routing

2008English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy