Cited By
View all- Akon MYang TDong YHussain SMeng WJensen CCremers CKirda E(2023)Formal Analysis of Access Control Mechanism of 5G Core NetworkProceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security10.1145/3576915.3623113(666-680)Online publication date: 15-Nov-2023
- (2019)Evaluating and comparing the quality of access control in different operating systemsComputers and Security10.1016/j.cose.2014.05.00147:C(26-40)Online publication date: 1-Jan-2019
- Han ZCheng LZhang YFeng D(2015)Operating System Security Policy Hardening via Capability Dependency GraphsInformation Security Practice and Experience10.1007/978-3-319-17533-1_1(3-17)Online publication date: 2015
- Show More Cited By