位置：成果数据库 > 会议 > 会议详情页
Detecting Buffer Overflow Vulnerabilities in C Programs Based on Colored Petri Nets
  • 所属机构名称：武汉大学
  • 会议名称：2nd International Conference on Computer Application and System Modeling
  • 成果类型：会议
  • 相关项目：可信编译理论与实现方法研究
作者： 徐超|何炎祥|吴伟|董伟|
同会议论文项目
可信编译理论与实现方法研究
期刊论文 13 会议论文 4
同项目会议论文
On the Concept of Trusted Computing and Software Watermarking: A Computational Complexity Treatise
Genetic Algorithm Based Bank Selection for Partitioned Memory Architectures
Formal Specification for Compiler Based Test Case Generation of Embedded Real-Time System