Pages that link to "Item:Q5311297"
From MaRDI portal
The following pages link to Formal Methods for Components and Objects (Q5311297):
Displaying 12 items.
- Interdicting attack graphs to protect organizations from cyber attacks: a bi-level defender-attacker model (Q342516) (← links)
- Approximation and hardness results for label cut and related problems (Q630189) (← links)
- A model of the behavior of network objects in distributed computer systems (Q927441) (← links)
- Simpler and better approximation algorithms for the unweighted minimum label \(s\)-\(t\) cut problem (Q1702134) (← links)
- New insights into approaches to evaluating intention and path for network multistep attacks (Q1720907) (← links)
- Models and methods for solving the problem of network vulnerability (Q1951863) (← links)
- A review of attack graph and attack tree visual syntax in cyber security (Q2197794) (← links)
- Minimum label \(s\)-\(t\) cut has large integrality gaps (Q2216106) (← links)
- Supervisory control of discrete-event systems under attacks (Q2292112) (← links)
- Indices of Power in Optimal IDS Default Configuration: Theory and Examples (Q3098091) (← links)
- (Q5146104) (← links)
- Gradient visualization for general characterization in profiling attacks (Q6075009) (← links)
