共 50 条
- [22] A specification-based approach to testing polymorphic attributes FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 3308 : 306 - 319
- [24] SQL-IDS: A Specification-based Approach for SQL-Injection Detection APPLIED COMPUTING 2008, VOLS 1-3, 2008, : 2153 - 2158
- [25] ARM: A Hybrid Specification-based Intrusion Detection System for Rank Attacks in 6TiSCH Networks 2017 22ND IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2017,
- [26] An Intrusion Detection Approach by Behavior Specification WORLD CONGRESS ON COMPUTER & INFORMATION TECHNOLOGY (WCCIT 2013), 2013,
- [27] A Specification-based State Replication Approach for Digital Twins CPS-SPC'18: PROCEEDINGS OF THE 2018 WORKSHOP ON CYBER-PHYSICAL SYSTEMS SECURITY AND PRIVACY, 2018, : 36 - 47
- [28] A formal specification-based approach to distributed parallel programming EIGHTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS, 2004, : 197 - 205
- [29] A Specification-Based Approach to the Testing of Java Memory Bloat Proceedings - 2016 IEEE International Conference on Software Quality, Reliability and Security, QRS 2016, 2016, : 347 - 352