切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
安全虚拟环境中的进程执行精确监控
安全虚拟环境中的进程执行精确监控
来源 :西安电子科技大学学报 | 被引量 : 0次 | 上传用户:q5479333321
【摘 要】
:
提出了通过进程移植实现对用户级进程执行实施监控的方法,旨在同时解决隔离和兼容性问题,并采取重定向系统调用来保证被移植进程执行的连续性.实验结果表明了文中方法的有效
【作 者】
:
刘哲元
慕德俊
【机 构】
:
西北工业大学控制与网络研究所
【出 处】
:
西安电子科技大学学报
【发表日期】
:
2012年6期
【关键词】
:
进程监控
语义鸿沟
虚拟机自省
process monitoring
semantic gap
virtual machine introspection
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出了通过进程移植实现对用户级进程执行实施监控的方法,旨在同时解决隔离和兼容性问题,并采取重定向系统调用来保证被移植进程执行的连续性.实验结果表明了文中方法的有效性和可行性,以及对系统性能的微小影响.
其他文献
支持网络制造的产品数据管理技术
分析了分布式网络化制造系统中企业级之间的产品数据交互和共享问题,对产品数据模型的建立与数据交互技术进行了研究.通过对产品数据管理系统需求的分析,给出了基于公共对象
期刊
分布式网络制造
数据管理
公共对象请求代理
distributed networked-manufacturing
product data manageme
投影时序逻辑的公理系统与形式验证
为了采用定理证明的方法对并发及交互式系统进行验证,提出了一阶投影时序逻辑的公理系统.利用投影时序逻辑既可描述待验证系统性质和规范,又可描述其实现模型的特点,在同一投影时
期刊
投影时序逻辑
公理系统
形式化方法
验证
projection temporal logic
axiomatization
formal methods
其他学术论文