匡波
- 作品数：11 被引量：4H指数：1
- 供职机构：武汉大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 可信虚拟平台远程验证机制与实现研究
- 匡波
- 关键词：直接匿名证明可信网络连接双线性配对
- 面向远程证明的安全协议设计方法被引量：4
- 2008年
- 通过引入优胜劣汰的自然规律,提出了改进的基于演化计算的密码协议自动化设计方法。该方法采用模态逻辑作为描述协议的基本工具,重点改进了衡量安全协议个体性能的评估函数,以求获得全局最优解。实验结果显示,该方法能保证所设计协议的正确性和安全性,具有较强的可行性和适用性。
- 余荣威王丽娜匡波
- 关键词：远程证明BAN逻辑
- 面向敏感数据防泄漏的可信虚拟机远程验证方法
- 本发明公开了面向敏感数据防泄漏的可信虚拟机远程验证方法包括有以下流程：服务提供方和服务请求方之间建立通信；服务提供方对服务请求方进行身份认证；服务提供方向服务请求方分发安全的操作系统、服务请求方启动新虚拟机运行该操作系统...
- 王丽娜余荣威尹帆周凯柯晋匡波尹磊
- 文献传递
- 面向敏感数据防泄漏的可信虚拟机远程验证方法
- 本发明公开了面向敏感数据防泄漏的可信虚拟机远程验证方法包括有以下流程：服务提供方和服务请求方之间建立通信；服务提供方对服务请求方进行身份认证；服务提供方向服务请求方分发安全的操作系统、服务请求方启动新虚拟机运行该操作系统...
- 王丽娜余荣威尹帆周凯柯晋匡波尹磊
- 文献传递
- 基于虚拟机的数据防泄漏系统及其方法
- 本发明公开了基于虚拟机的数据防泄漏系统与方法，利用虚拟机技术，通过在操作系统下层的虚拟机监控层中添加防泄漏监控模块，对数据输出行为进行全面的监控和过滤；当客户虚拟机要求输出访问时，通过虚拟机监控层的访问控制机制，对客户虚...
- 王丽娜余荣威李永一周凯柯晋匡波尹磊
- 文献传递
- 用于虚拟机系统的可信计算基裁剪方法
- 本发明公开了用于虚拟机系统的可信计算基防泄露裁剪方法。所述虚拟机系统中包括有硬件层、虚拟机监视器层、虚拟可信平台模块管理器、域创建模块、内核和敏感数据访问策略；虚拟可信平台模块管理器、域创建模块、内核和敏感数据访问策略处...
- 王丽娜余荣威寇鹏匡波周凯柯晋尹磊尹帆
- 文献传递
- 可信密码模块安全虚拟化方法
- 本发明公开了一种可信密码模块安全虚拟化方法：在基于VMM模型的虚拟机上实现支持客户虚拟机使用的虚拟TCM实例，建立物理机至虚拟机的信任链；在虚拟机的特权虚拟域中设置虚拟TCM管理器和虚拟TCM永久性存储区；通过虚拟TCM...
- 王丽娜余荣威柯晋匡波周凯尹磊尹帆金新任正伟
- 文献传递
- 用于虚拟机系统的可信计算基裁剪方法
- 本发明公开了用于虚拟机系统的可信计算基防泄露裁剪方法。所述虚拟机系统中包括有硬件层、虚拟机监视器层、虚拟可信平台模块管理器、域创建模块、内核和敏感数据访问策略；虚拟可信平台模块管理器、域创建模块、内核和敏感数据访问策略处...
- 王丽娜余荣威寇鹏匡波周凯柯晋尹磊尹帆
- 文献传递
- 一种密钥协商协议的自动化设计方法
- 2009年
- 通过引入优胜劣汰的自然规律,提出了一种改进的基于演化计算的安全协议自动化设计方法.该方法采用SVO逻辑作为描述协议的基本工具,给出了能全面衡量安全协议个体性能的评估函数,并据此理论设计出一种满足安全目标的密钥协商协议,保证了最终生成协议为最优解.实验结果显示:由于在协议生成过程中,同时进行了该协议的安全验证,能很好地保证所涉及协议的正确性和安全性,表明该方法具有较强的可行性和适用性.
- 李松王丽娜余荣威匡波
- 关键词：安全协议自动化设计SVO逻辑
- 基于虚拟机的数据防泄漏系统及其方法
- 本发明公开了基于虚拟机的数据防泄漏系统与方法，利用虚拟机技术，通过在操作系统下层的虚拟机监控层中添加防泄漏监控模块，对数据输出行为进行全面的监控和过滤；当客户虚拟机要求输出访问时，通过虚拟机监控层的访问控制机制，对客户虚...
- 王丽娜余荣威李永一周凯柯晋匡波尹磊
- 文献传递
