[Lecture Notes in Computer Science] Formal Techniques for Distributed Objects, Components, and Systems Volume 9688 || A Configurable CEGAR Framework with Interpolation-Based Refinements
- 作者Albert, Elvira; Lanese, Ivan
- 文件大小475.40KB
- 发表时间2016
- DOI10.1007/978-3-319-39570-8_11
- 页码158-174
[Advances in Information Security] Cyber Denial, Deception and Counter Deception || Bridging the Classical D&D and Cyber Security DomainsHeckman, Kristin E.; Stech, Frank J.; Thomas, Roshan K.; Schmoker, Ben; Tsow, Alexander W. · 2015
[Advances in Information Security] Cyber Denial, Deception and Counter Deception || Cyber-D&D Case StudiesHeckman, Kristin E.; Stech, Frank J.; Thomas, Roshan K.; Schmoker, Ben; Tsow, Alexander W. · 2015
[Advances in Information Security] Cyber Denial, Deception and Counter Deception || Cyber-D&D Lifecycle ManagementHeckman, Kristin E.; Stech, Frank J.; Thomas, Roshan K.; Schmoker, Ben; Tsow, Alexander W. · 2015
[Advances in Information Security] Cyber Denial, Deception and Counter Deception ||Heckman, Kristin E.; Stech, Frank J.; Thomas, Roshan K.; Schmoker, Ben; Tsow, Alexander W. · 2015
[Advances in Information Security] Cyber Denial, Deception and Counter Deception || Capability Maturity ModelHeckman, Kristin E.; Stech, Frank J.; Thomas, Roshan K.; Schmoker, Ben; Tsow, Alexander W. · 2015
[Advances in Information Security] Cyber Denial, Deception and Counter Deception || Countering Denial and DeceptionHeckman, Kristin E.; Stech, Frank J.; Thomas, Roshan K.; Schmoker, Ben; Tsow, Alexander W. · 2015
[Advances in Information Security] Cyber Denial, Deception and Counter Deception || Cyber-D&D Case StudiesHeckman, Kristin E.; Stech, Frank J.; Thomas, Roshan K.; Schmoker, Ben; Tsow, Alexander W. · 2015
[Advances in Information Security] Cyber Denial, Deception and Counter Deception || Cyber-D&D Lifecycle ManagementHeckman, Kristin E.; Stech, Frank J.; Thomas, Roshan K.; Schmoker, Ben; Tsow, Alexander W. · 2015
[Advances in Information Security] Cyber Denial, Deception and Counter Deception || Bridging the Classical D&D and Cyber Security DomainsHeckman, Kristin E.; Stech, Frank J.; Thomas, Roshan K.; Schmoker, Ben; Tsow, Alexander W. · 2015