位置：成果数据库 > 会议 > 会议详情页
Quantitatively measure access control mechanisms across different operating systems
  • 所属机构名称：中国科学院软件研究所
  • 会议名称：2013 IEEE 7th International Conference on Software Security and Reliability
  • 时间：2013.6.20
  • 成果类型：会议
  • 相关项目：逻辑驱动的跨操作系统安全机制评价方法研究
作者： Liang Cheng|Yang Zhang|Zhihui Han|
同会议论文项目
逻辑驱动的跨操作系统安全机制评价方法研究
期刊论文 3 会议论文 7
同项目会议论文
Measuring and comparing the protection quality in different operating systems
Model Checking Security Policy Model Using Both UML Static and Dynamic Diagrams
Refining the pointer analysis by exploiting constraints on the CFL-paths
Heuristic path pruning algorithm based on error handling pattern recognition in detecting vulnerabil
<span>Static integer overflow vulnerability detection in Windows binary</span>
Systematic Analysis and Detection of Misconfiguration Vulnerabilities in Android Smartphones