Analyzing infrastructure as code to prevent intra-update sniping vulnerabilities

DOI10.1007/978-3-030-72013-1_6MaRDI QIDQ2233499zbMATH OpenOpenAlexFDO

Authors Julien Lepiller, Ružica Piskač, Martin Schäf, Mark Santolucito

Publication date 18 October 2021

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-030-72013-1_6

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Internet topics (68M11) Computer security (68M25)

Recommendations

• An automated security analysis framework and implementation for MTD techniques on cloud
• Automatic synthesis of transiently correct network updates via Petri games
• String Analysis via Automata Manipulation with Logic Circuit Representation
• Moving target defense for the placement of intrusion detection systems in the cloud
• Trusted launch of virtual machine instances in public IaaS environments

Cites work

• Grammar Analysis and Parsing by Abstract Interpretation

Cited in

(1)

• An automated security analysis framework and implementation for MTD techniques on cloud

Describes a project that uses

Uses Software

• Terraform
• Rehearsal
• Ansible
• LWeb
• p4v

This page was built for publication: Analyzing infrastructure as code to prevent intra-update sniping vulnerabilities

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