Usage formal models for vulnerability analysis

MaRDI QIDQ5146083zbMATH OpenFDO

Authors Denis Nikolaevich Kolegov

Publication date 25 January 2021

Full work available at URL http://mathnet.ru/eng/pdm55

Mathematics Subject Classification ID

Computer security (68M25)

Recommendations

• Analysis of security models for computer systems
• scientific article; zbMATH DE number 7300343
• An improvement for a mathematical model for distributed vulnerability assessment
• scientific article; zbMATH DE number 5059864
• About unified model of safety of information systems

Cited in

(16)

• Scenario analysis of vulnerability in control of complex systems
• Formal modelling and analysis of socio-technical systems
• Analysis of security models for computer systems
• A new mathematical model for analytical risk assessment and prediction in IT systems
• About unified model of safety of information systems
• IT Security Analysis Best Practices and Formal Approaches
• A Model for Security Vulnerability Pattern
• An extended stochastic model for quantitative security analysis of networked systems
• DP-model application for network security analysis
• Formal security models
• Towards modelling adaptive attacker's behaviour
• Information and Communications Security
• Applied Cryptography and Network Security
• Vulnerability modelling with functional programming and dependent types
• Vulnerability analysis of networks to detect multiphase attacks using the actor-based language Rebeca
• Stochastic matrices and the assessment of the vulnerability of automated systems

This page was built for publication: Usage formal models for vulnerability analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5146083)