汤力
- 作品数：8 被引量：8H指数：2
- 供职机构：常熟理工学院更多>>
- 发文基金：江苏省高校自然科学研究项目中国博士后科学基金江苏省科技计划项目更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 虚拟计算环境下的可信接入方法
- 本发明提供的虚拟计算环境下的可信接入方法，采用虚拟化技术，使虚拟机运行系统所分发的安全的操作系统，并且从客户端底层硬件开始，经由虚拟机监控器、虚拟机操作系统到虚拟机上运行的应用程序，逐级向上验证，一级信任一级，构成一条动...
- 汤力常晋义刘在德
- 文献传递
- 基于虚拟化的宏内核操作系统载入模块权能隔离方法
- 本发明公开了一种基于虚拟化的宏内核操作系统载入模块权能隔离方法，包括步骤：在系统初始化时为虚拟内存的内核空间生成载入模块用页表和核心模块用页表；加载载入模块时，陷入虚拟机监控器，为两份页表设置属性后返回；载入模块申请动态...
- 钱振江刘永俊汤力姚宇峰张雪伍
- 文献传递
- KCapISO:一种基于HybridHP的宏内核操作系统载入模块权能隔离方案被引量：1
- 2016年
- 宏内核操作系统提供对第3方模块和驱动程序等载入模块的支持,允许载入模块运行在内核态特权级.由于运行在最高特权级,载入模块对内核的核心服务的关键对象的访问难以得到系统的有效控制.考虑对被监控系统的性能影响控制在很小的范围,基于内嵌式的监控机制HybridHP,提出了一种宏内核架构下的载入模块权能隔离方案KCapISO,为内核和载入模块维护各自的页表,从权能上将两者隔离,确保载入模块无法修改内核的数据,并且无法以任何方式直接调用或跳转到内核中执行,这些动作都需经过KCapISO的监控和检查.实验结果表明,KCapISO能有效地将内核与载入模块在权能上相互隔离,同时获得较好的系统性能.
- 钱振江刘永俊汤力姚宇峰黄皓
- 关键词：硬件虚拟化安全监控
- 基于微内核的可扩展文件系统及文件访问方法
- 本发明公开了一种基于微内核的可扩展文件系统，包括用于读写磁盘的磁盘服务；用于在用户进程与文件服务进程之间拷贝文件数据，帮助磁盘服务执行内核态的特权IO指令的系统服务；目录服务进程：工作于单个处理核，管理全局的元数据，设置...
- 钱振江汤力张雪伍周蕾王剑乐德广
- 文献传递
- 微内核架构内存管理的形式化设计和验证方法研究被引量：4
- 2017年
- 由于巨大的规模和复杂性,操作系统的设计和实现的正确性很难用传统的定量方法来描述.本文阐述对微内核操作系统的形式化设计和验证的方法.在汇编层利用非确定性自动机对系统进行形式化建模,并使用Hoare三元组描述模块接口函数的前后置条件,作为函数正确性的定义.以实现的VSOS(Verified Secure Operating System)内存管理模块为例,在Isabelle/HOL定理证明器环境中对建立的内存管理模型和系统行为的操作语义进行形式化描述,并对内存管理模块的设计和实现的正确性进行验证.结果表明,这一方法是可行的和高效的.
- 钱振江刘永俊姚宇峰汤力黄皓宋方敏
- 关键词：操作系统内存管理形式化设计形式化验证定理证明
- 基于分形维数向量的图像类推技术被引量：2
- 2009年
- 为了给出图像类推算法的适用范围,提出了一种新的基于分形维数向量的图像的相似性度度量算子。对图像类推算法进行了认知和分析,指出图像类推在本质上是一个多分辨的纹理合成问题,它对图像的结构和素材都存在着较高的要求。通过实验结果表明,提出的基于分形维数向量的图像相似度度量算子可以较好的表现图像的结构和素材这两个特征。并通过实例验证了提出的图像相似度算子较好的解决了原有Image Analogies方法适用的模糊性问题,从某种意义上揭示了风格化学习和风格化继承的特性。
- 汤力常晋义卞负
- 关键词：图像类推纹理合成非真实感渲染
- 基于虚拟化的宏内核操作系统载入模块权能隔离方法
- 本发明公开了一种基于虚拟化的宏内核操作系统载入模块权能隔离方法，包括步骤：在系统初始化时为虚拟内存的内核空间生成载入模块用页表和核心模块用页表；加载载入模块时，陷入虚拟机监控器，为两份页表设置属性后返回；载入模块申请动态...
- 钱振江刘永俊汤力姚宇峰张雪伍
- 文献传递
