共 50 条
- [42] Fault-Resilient Non-interference 2016 IEEE 29TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2016), 2016, : 401 - 416
- [43] Non-interference in partial order models 2015 15TH INTERNATIONAL CONFERENCE ON APPLICATIONS OF CONCURRENCY TO SYSTEM DESIGN (ACSD), 2015, : 80 - 89
- [44] Parametric non-interference in timed automata 2020 25TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS 2020), 2020, : 37 - 42
- [47] Bounded Model Checking of Speculative Non-Interference 2021 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN (ICCAD), 2021,
- [48] Non-interference on UML State-Charts OBJECTS, MODELS, COMPONENTS, PATTERNS, TOOLS 2012, 2012, 7304 : 219 - 235
- [49] The security pi-calculus and non-interference JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2005, 63 (01): : 3 - 34
- [50] Automated Certification of Non-Interference in Rewriting Logic FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, 2009, 5596 : 182 - 198