Towards Modelling Adaptive Attacker’s Behaviour
Authors:
- 1 January 2013
- book chapter
- Published by Springer Nature
- p. 357-364
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- CVSS Attack Graphs2011
- Model-based Security Metrics Using ADversary VIew Security Evaluation (ADVISE)2011
- Formal Analysis of Security Metrics and RiskLecture Notes in Computer Science, 2011
- A probabilistic polynomial-time process calculus for the analysis of cryptographic protocolsTheoretical Computer Science, 2006
- Automated generation and analysis of attack graphs2005
- Automatic Verification of Cryptographic Protocols through Compositional Analysis Techniques1999