[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 10802 || Hierarchical Specification and Verification of Architectural Design Patterns
- 作者Russo, Alessandra; Schürr, Andy
- 文件大小997.01KB
- 发表时间2018
- DOI10.1007/978-3-319-89363-1_9
- 页码149-168
[Advanced Sciences and Technologies for Security Applications] Counter-Terrorism Technologies (A Critical Assessment) ||Lehr, Peter · 2019
[Advanced Sciences and Technologies for Security Applications] Exploring the Security Landscape: Non-Traditional Security Challenges || Is Maritime Security a Traditional Security Challenge?Masys, Anthony J. · 2016
[Advanced Sciences and Technologies for Security Applications] Exploring the Security Landscape: Non-Traditional Security Challenges || National Security in a Hyper-connected WorldMasys, Anthony J. · 2016
[Advanced Sciences and Technologies for Security Applications] Exploring the Security Landscape: Non-Traditional Security Challenges || Critical Infrastructure Vulnerabilities: Embracing a Network MindsetMasys, Anthony J. · 2016
[Advanced Sciences and Technologies for Security Applications] A Shift in the Security Paradigm (Global Challenges: Is Europe Ready to Meet Them?) ||RamÃrez, J. MartÃn; Biziewski, Jerzy · 2020
[Advanced Sciences and Technologies for Security Applications] Critical Infrastructure Security and Resilience (Theories, Methods, Tools and Technologies) || A Taxonomy of Side Channel Attacks on Critical Infrastructures and Relevant SystemsGritzalis, Dimitris; Theocharidou, Marianthi; Stergiopoulos, George · 2019
[Advanced Sciences and Technologies for Security Applications] Combatting Cybercrime and Cyberterrorism || Towards a Systematic View on Cybersecurity EcologyAkhgar, Babak; Brewster, Ben · 2016