公共文化服务平台

共 4 条记录，以下是 1-4

全选清除导出

排序方式：

一种可信虚拟机迁移模型构建方法被引量：6: 2017年; 虚拟机的安全迁移是保障云环境安全可信的重要需求之一.对于包含虚拟可信平台模块(virtual TPM,vTPM)的可信虚拟机,还需要考虑vTPM的安全迁移问题.目前,已有一些针对可信虚拟机的安全迁移的研究,但是由于研究可信虚拟机的模型不统一,导致迁移模型解决问题的方案不能适用所有的迁移方案,存在一定的局限性.针对可信虚拟机的迁移缺乏统一的安全模型及测试方法的问题,参考虚拟机迁移中普遍存在的安全问题以及可信计算和云的相关规范,从整体系统层面对可信虚拟机的迁移进行安全需求分析;提出一种可信虚拟机迁移框架,将可信迁移的参与组件进行了抽象并描述了迁移协议中的关键步骤和状态;以标号迁移系统LTS为操作语义描述工具对可信迁移系统进行进一步的描述,以系统中迁移进程组件的建模为基础构建出动态的迁移系统状态迁移树;分析了LTS模型可以用于可信迁移协议的一致性测试,并通过与其他相关工作的比较说明了模型在考虑安全属性方面的完备性.; 石源石源张焕国; 关键词：虚拟机迁移安全协议标号迁移系统

一种基于变尺度窗口机制的VoIP服务安全保障方法与系统: 本发明公开了一种基于变尺度窗口机制的VoIP服务安全保障方法与系统，本发明的方法流程是：语音发送端sender向语音接收端receiver发起会话请求，通过代理端完成双向验证之后建立起安全会话，sender将语音通过语音...; 余荣威石源杜钢吴开诚王丽娜袁杰

一种基于变尺度窗口机制的VoIP服务安全保障方法与系统: 本发明公开了一种基于变尺度窗口机制的VoIP服务安全保障方法与系统，本发明的方法流程是：语音发送端sender向语音接收端receiver发起会话请求，通过代理端完成双向验证之后建立起安全会话,sender将语音通过语音...; 余荣威石源杜钢吴开诚王丽娜袁杰; 文献传递

大数据环境下隐蔽信息高效检测分析方法与系统: 王丽娜余荣威何德彪赵磊张焕国任延珍翟黎明叶登攀刘维杰徐一波徐来任魏翔谈诚唐奔宵石源; 所属领域：计算机软件，信息安全类产品。近年来国际恐怖分子散播情报、邪教组织非法宣传、企业信息资产泄漏等报道层出不穷，直接影响到国家安全和社会稳定。经分析表明，大数据环境具有数据量大、类型复杂、处理要求高等特点，大大增加...; 关键词：; 关键词：计算机软件

全选清除导出

共1页<1>

石源