位置：成果数据库 > 会议 > 会议详情页
Model Checking Security Policy Model Using Both UML Static and Dynamic Diagrams
  • 所属机构名称：中国科学院软件研究所
  • 会议名称：4th international conference on Security of information and networks
  • 时间：2011.11.14
  • 成果类型：会议
  • 相关项目：逻辑驱动的跨操作系统安全机制评价方法研究
作者： Liang Cheng|Yang Zhang|
同会议论文项目
逻辑驱动的跨操作系统安全机制评价方法研究
期刊论文 3 会议论文 7
同项目会议论文
Quantitatively measure access control mechanisms across different operating systems
Measuring and comparing the protection quality in different operating systems
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