Quantitative Verification and Synthesis of Attack-Defence Scenarios (2016)

First Author: Aslanyan Z
Attributed to:  Academic Centre of Excellence in Cyber Security Research - University of Birmingham funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1109/csf.2016.15

Publication URI: http://dx.doi.org/10.1109/csf.2016.15

Type: Conference/Paper/Proceeding/Abstract