位置：成果数据库 > 会议 > 会议详情页
Some Improvements for More Precise Model Checking
  • 所属机构名称：南京大学
  • 成果类型：会议
  • 相关项目：基于缺陷建模的软件脆弱性分析方法研究
同会议论文项目
基于缺陷建模的软件脆弱性分析方法研究
期刊论文 33 会议论文 5 获奖 2
同项目会议论文
与SPIN相关的模型检测研究
Towards a Structured Model for Software Vulnerabilities
Efficiently?Detecting?Wormhole?Attacks?in?Sensor?Networks?by?Information?Potential
A Security Calculus of Concurrent Objects for Verifying Ad Hoc Network protocols