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