Cited By
View all- Xu ZChen HTiu ALiu YSareen K(2021)A permission-dependent type system for secure information flow analysisJournal of Computer Security10.3233/JCS-200036(1-68)Online publication date: 17-Feb-2021
- Chen HTiu AXu ZLiu Y(2018)A Permission-Dependent Type System for Secure Information Flow Analysis2018 IEEE 31st Computer Security Foundations Symposium (CSF)10.1109/CSF.2018.00023(218-232)Online publication date: Jul-2018