مؤتمر
A Permission-Dependent Type System for Secure Information Flow Analysis
العنوان: | A Permission-Dependent Type System for Secure Information Flow Analysis |
---|---|
المؤلفون: | Chen, Hongxu, Tiu, Alwen, Xu, Zhiwu, Liu, Yang |
المصدر: | 2018 IEEE 31st Computer Security Foundations Symposium (CSF) CSF Computer Security Foundations Symposium (CSF), 2018 IEEE 31st. :218-232 Jul, 2018 |
Relation: | 2018 IEEE 31st Computer Security Foundations Symposium (CSF) |
قاعدة البيانات: | IEEE Xplore Digital Library |
ردمك: | 9781538666807 |
---|---|
تدمد: | 23748303 |
DOI: | 10.1109/CSF.2018.00023 |