孙可钦
- 作品数：4 被引量：8H指数：1
- 供职机构：中国科学院软件研究所更多>>
- 发文基金：中国科学院知识创新工程重要方向项目国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种带有时序信息的集成电路物理设计数据集的构建方法
- 本发明公开了一种带有时序信息的集成电路物理设计数据集的构建方法，属于集成电路设计领域。本方法从模块和单元物理库文件LEF中提取结构信息；从标准单元、SRAM、IP的时序库中提取时序信息；从物理库文件DEF中提取结构信息；...
- 孙可钦杨秋松李明树
- 一种基于微内核操作系统进程间通信恢复方法
- 2015年
- 微内核架构为操作系统提供了良好的隔离性,高度模块化的架构设计使得微内核架构操作系统对进程间通信的依赖度极高,进程间通信恢复是系统恢复正常运行的关键。权能是微内核架构操作系统中进程对资源操作权限的描述,决定进程间能否进行通信。针对微内核操作系统在系统服务恢复过程中出现的进程间通信信道丢失问题,提出并实现了一种进程间通信恢复方法。在通信异常时保存权能信息,用于在系统关键服务恢复过程中重新建立客户程序与服务程序的进程间通信信道。实验结果表明所提出的方法是有效的,可以提高操作系统的可靠性。
- 孙可钦王玉庆刘剑杨秋松马越
- 关键词：微内核操作系统安全进程间通信
- 基于控制流挖掘的Android系统代码漏洞分析
- Android操作系统被广泛应用于智能手机、平板电脑等便携移动设备,因此安全性和可靠性至关重要.本文使用控制流挖掘方法,针对Android内核代码的多种典型错误构建相关的分析脚本,进行了分析检测,并对Android系统多...
- 孙可钦汪孙律刘剑
- 关键词：计算机软件系统代码漏洞分析
- 文献传递
- 基于控制流挖掘的Android系统代码漏洞分析被引量：8
- 2012年
- Android操作系统被广泛应用于智能手机、平板电脑等便携移动设备,因此Android操作系统的安全性和可靠性至关重要。本文使用控制流挖掘方法,针对Android内核代码的多种典型错误构建相关的分析脚本,进行了分析检测,并对Android系统多版本间进行横向分析对比。本文首次将控制流挖掘方法应用于Android系统,通过系统化的实验分析包含Android扩展的驱动以及Yaffs2文件系统在内的所有Android内核代码,并对Android各个内核版本进行横向对比分析,发现了代码库中一系列脆弱点。
- 刘剑孙可钦汪孙律
- 关键词：漏洞分析ANDROID操作系统
