共 50 条
- [41] Delimited Persistent Stochastic Non-Interference PROCEEDINGS OF THE 12TH EAI INTERNATIONAL CONFERENCE ON PERFORMANCE EVALUATION METHODOLOGIES AND TOOLS (VALUETOOLS 2019), 2019, : 135 - 142
- [43] Fault-Resilient Non-interference 2016 IEEE 29TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2016), 2016, : 401 - 416
- [44] Parametric non-interference in timed automata 2020 25TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS 2020), 2020, : 37 - 42
- [45] Non-interference in partial order models 2015 15TH INTERNATIONAL CONFERENCE ON APPLICATIONS OF CONCURRENCY TO SYSTEM DESIGN (ACSD), 2015, : 80 - 89
- [48] Bounded Model Checking of Speculative Non-Interference 2021 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN (ICCAD), 2021,
- [49] Non-interference on UML State-Charts OBJECTS, MODELS, COMPONENTS, PATTERNS, TOOLS 2012, 2012, 7304 : 219 - 235
- [50] The security pi-calculus and non-interference JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2005, 63 (01): : 3 - 34