钱振江
- 作品数:87 被引量:122H指数:5
- 供职机构:常熟理工学院更多>>
- 发文基金:江苏省“青蓝工程”基金国家自然科学基金江苏省高校自然科学研究项目更多>>
- 相关领域:自动化与计算机技术文化科学电子电信医药卫生更多>>
- 微内核架构文件系统的形式化设计与验证方法研究
- 文件系统作为操作系统中数据存储和管理的功能模块,其正确性是操作系统安全性的重要方面.采用形式化方法时微内核架构文件系统进行设计,使用操作系统对象语义模型(OSOSM)框架提出微内核架构文件系统的状态自动机模型,并依此描述...
- 钱振江唐洪英李康杰黄皓宋方敏
- 关键词:微内核架构形式化设计
- 文献传递
- 应用型本科高校计算机实验室建设与管理研究被引量:3
- 2022年
- 针对应用型本科高校计算机实验室建设发展状况,以常熟理工学院为例,分析了计算机实验室的重要性及现状,提出今后主要建设方向为综合型实验室、实验资源整合、虚拟化技术云桌面实验室、创业孵化基地和行业学院模式新型实验室。在实验室管理方面提出要建立健全高校内部工作协调、考核机制,管理采用多人参与、多样化管理和分类考核模式、优化实验队伍结构,提高信息化水平加强实验教学过程化管理,强调实验室人员要与时俱进,大胆创新,提高管理技术水平并积极参与实验创新,对高校计算机实验室建设和管理有很好的借鉴作用。
- 牛国锋钱振江殷旭东朱苗苗
- 关键词:本科高校计算机实验室分层管理
- 基于虚拟化的宏内核操作系统载入模块权能隔离方法
- 本发明公开了一种基于虚拟化的宏内核操作系统载入模块权能隔离方法,包括步骤:在系统初始化时为虚拟内存的内核空间生成载入模块用页表和核心模块用页表;加载载入模块时,陷入虚拟机监控器,为两份页表设置属性后返回;载入模块申请动态...
- 钱振江刘永俊汤力姚宇峰张雪伍
- 文献传递
- 龙芯平台在Linux嵌入式系统教学改革中的应用被引量:2
- 2012年
- 阐述Linux嵌入式系统教学的改革思路,强调课程教学的校企合作模式,说明在教学过程中引入龙芯平台的可行性和优势,提出"嵌入教学"和"项目驱动"模式相结合的课程改革思路,并对课程体系和考核方法进行详细描述,为龙芯产业化在高校的发展提供思路。
- 钱振江常晋义
- 关键词:龙芯平台LINUX嵌入式系统教学改革
- 操作系统对象语义模型(OSOSM)及形式化验证被引量:11
- 2012年
- 操作系统的复杂性使得其安全性问题日益突出.有不少的研究工作采用形式化的方式对现有的操作系统进行了正确性的验证,这些工作主要是采用程序形式逻辑验证代码级的功能实现性.从系统设计的角度,以高阶逻辑和类型论为基础,提出了操作系统对象语义模型(OSOSM).OSOSM采用分层结构,包括基本功效层、实现层和优化层.OSOSM将操作系统中的行为主体和资源抽象为操作系统对象,建立操作系统的论域,利用以操作系统对象变元集合为定义域到论域的映射表示操作系统的状态,描述操作系统系统调用等行为的语义,使用逻辑系统的谓词公式表达操作系统的安全属性,给出如何验证操作系统在运行过程中保持安全策略和属性的形式化描述方法.以实现并经过形式化验证的可信操作系统(VTOS)为例,阐述OSOSM的语义正确性.使用Isabelle定理证明工具验证设计和安全需求的一致性,以说明VTOS具有预期的安全属性.
- 钱振江刘苇黄皓
- 关键词:语义模型形式化设计
- 一种基于改进迭代收缩阈值算法的微观3D重建方法
- 本发明公开了一种基于改进迭代收缩阈值算法的微观3D重建方法,包括设定相对模糊度初值,计算热扩散方程的解,求解能量方程判断是否小于能量阈值,小于能量阈值时直接得到深度信息值,不小于能量阈值时计算加速算子带入迭代公式,重新进...
- 张明新伍秋玉刘永俊钱振江张喆
- 文献传递
- 一种轻量级的Android内核保护监控器被引量:5
- 2014年
- 为阻止针对Android系统内核的攻击,保护Android系统内核不被破坏,设计一种基于ARM平台轻量级的hypervisor监控器架构。该架构利用ARM硬件虚拟化扩展技术,对不信任模块进行隔离,阻止模块中恶意代码对内核的破坏,保护关键对象不被篡改,并基于hypervisor、利用交叉视图检测rootkit。实验结果表明,该架构能及时阻止对被监控对象的修改,快速检测出rootkit威胁,减少系统被攻击后带来的损失。
- 杨永钱振江黄皓
- 关键词:移动操作系统虚拟化ROOTKIT检测
- 基于多级雪崩式卷积递归网络EEG分析的疲劳驾驶识别方法
- 本发明公开了一种基于多级雪崩式卷积递归网络EEG分析的疲劳驾驶识别方法,具体步骤为将一维EEG序列转换为二维EEG网格;创建包含空间信息和时间信息的3D数据架构;提取每个数据网格的空间特征;将提取的空间特征后的序列馈送到...
- 梁伟董瑞志刘永俊钱振江张哲
- 文献传递
- 基于保护模式与虚拟化机制实现操作系统安全核设计方法
- 本发明是基于保护模式与虚拟化机制实现操作系统安全核设计方法,包括如下步骤:一、CPU保护模式提供了特权级0可以执行处理器的所有指令;非特权级1-N,只能执行处理器的部分指令;将操作系统划分成一个工作在特权级的安全核与工作...
- 黄皓钱振江
- 基于Python的Web漏洞扫描器被引量:1
- 2020年
- 当下Web安全问题频发,很多Web网站代码设计时安全问题考虑不足,而市面上的漏洞扫描器存在扫描速度慢、软件臃肿、可扩展性不强等问题,我们基于Python设计了一个Web漏洞扫描器,在参考其他同类产品设计的基础上,采用注入分析、字典扫描等方法提高了扫描器性能,并增加了开放性的插件接口等一些实用且独特的功能。本文介绍了其工作原理,具体实现及实验测试。
- 徐贵江黄媛媛陈子豪殷旭东钱振江
- 关键词:PYTHON插件