共 50 条
- [2] Information flow security for interactive systems EMBEDDED AND UBIQUITOUS COMPUTING - EUC 2005, 2005, 3824 : 1045 - 1054
- [3] Quantifying information flow in interactive systems 2019 IEEE 32ND COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2019), 2019, : 414 - 427
- [4] Compositional Information-flow Security for Interactive Systems 2014 IEEE 27TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF), 2014, : 277 - 292
- [5] Interactive Information Flow (Invited Talk) AUTOMATED REASONING FOR SECURITY PROTOCOL ANALYSIS AND ISSUES IN THE THEORY OF SECURITY, 2010, 6186 : 111 - 111
- [6] INFORMATION MANAGEMENT SYSTEM - INTERACTIVE INFORMATION MANAGEMENT SYSTEMS BELL SYSTEM TECHNICAL JOURNAL, 1973, 52 (10): : 1681 - 1689
- [7] INTERACTIVE INFORMATION-SYSTEMS - INFORMATION ACCESS AND RETRIEVAL ELECTRONIC LIBRARY, 1995, 13 (03): : 187 - 194
- [9] Design process of interactive information systems INTELLIGENT DECISION TECHNOLOGIES-NETHERLANDS, 2007, 1 (03): : 127 - 138
- [10] INTERACTIVE DEVELOPMENT OF INFORMATION-SYSTEMS SOVIET JOURNAL OF COMPUTER AND SYSTEMS SCIENCES, 1986, 24 (05): : 24 - 42