共 50 条
- [1] Information Flow for Security in Control Systems [J]. 2016 IEEE 55TH CONFERENCE ON DECISION AND CONTROL (CDC), 2016, : 5065 - 5072
- [2] Comparing two information flow security properties [J]. 9TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 1996, : 116 - 122
- [3] Information Flow Control with Decentralized Labeling Model in Information Security [J]. JOURNAL OF WEB ENGINEERING, 2020, 19 (7-8): : 903 - 930
- [6] Dynamic security labels and static information flow control [J]. International Journal of Information Security, 2007, 6 : 67 - 84
- [7] Security Information Flow Control Model and Method in MILS [J]. PROCEEDINGS OF THE 2012 EIGHTH INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND SECURITY (CIS 2012), 2012, : 591 - 595
- [9] IFCaaS: Information Flow Control as a Service for Cloud Security [J]. PROCEEDINGS OF 2016 11TH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY AND SECURITY, (ARES 2016), 2016, : 211 - 216
- [10] Verification of control flow based security properties [J]. PROCEEDINGS OF THE 1999 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, 1999, : 89 - 103