共 50 条
- [42] Tracing security requirements in industrial control systems using graph databases SOFTWARE AND SYSTEMS MODELING, 2023, 22 (03): : 851 - 870
- [43] Tracing security requirements in industrial control systems using graph databases Software and Systems Modeling, 2023, 22 : 851 - 870
- [44] Security Verification of Industrial Control Systems using Partial Model Checking 2020 IEEE/ACM 8TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING, FORMALISE, 2020, : 98 - 108
- [46] Comprehensive evaluation model for computer network security with linguistic information Advances in Information Sciences and Service Sciences, 2011, 3 (09): : 126 - 131
- [47] Modeling of information systems to their security evaluation SIN'17: PROCEEDINGS OF THE 10TH INTERNATIONAL CONFERENCE ON SECURITY OF INFORMATION AND NETWORKS, 2017, : 295 - 298
- [49] Information Flow for Security in Control Systems 2016 IEEE 55TH CONFERENCE ON DECISION AND CONTROL (CDC), 2016, : 5065 - 5072
- [50] A Novel Decision-Making Method Based on Probabilistic Linguistic Information Cognitive Computation, 2019, 11 : 735 - 747