韩臻
- 作品数:218 被引量:638H指数:13
- 供职机构:北京交通大学计算机与信息技术学院更多>>
- 发文基金:国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>
- 相关领域:自动化与计算机技术电子电信文化科学政治法律更多>>
- 通过扩展MIKEY协议实现VoIP媒体流可信传输的方法
- 本发明提供了一种通过扩展MIKEY协议实现VoIP媒体流可信传输的方法。本方法要求通信双方都配有可信安全芯片,并且安装了度量模块,能够对各自平台状态进行度量。本方法通过利用MIKEY密钥交换协议已有的数据结构传递通信双方...
- 常晓林秦英韩臻刘吉强
- 文献传递
- 一种变参数Hermite细分曲面
- 提出了一种基于Hermite细分曲面算法的变参数Hermite细分曲面方法。通过在不同细分层次,不同面片甚至同一面片中选用不同的细分参数,变参数Hermite细分曲面可以精确地表示球面。本文后半部分详细讨论了用此方法将初...
- 罗姝雅韩臻
- 关键词:插值变参数
- 文献传递
- 一种改进的身份鉴别协议在移动电子支付中的应用被引量:2
- 2006年
- 实体间的身份认证和鉴别是电子支付协议的基础.近年来研究工作者提出了一系列的身份认证协议,但是都存在一定的不足.2005年,Ren_Junn Hwang提出了一个高效的适用于移动网络的域间身份认证协议,虽然他利用BAN逻辑证明了其安全性,但通过几个模拟攻击过程,依然可以发现该协议仍存在着一些安全漏洞和不足.本文给出了一种新的改进方案,使改进后的协议具备了以上这些特征.最后将改进后的协议应用于Yong Zhao提出的电子支付协议中,弥补了该支付协议中用户和仲裁机构没有身份认证的不足.
- 赵勇刘吉强韩臻沈昌祥
- 关键词:身份鉴别
- 一种基于可信计算实现可信SSH的方法
- 本发明提供了一种基于可信计算实现可信SSH的方法。本方法通过将可信计算的远程证明与SSH协议的密钥交换这两个过程进行有机整合,实现了平台状态信息验证与会话密钥协商的紧密结合,在保证数据安全传输的前提下,加强了数据在通信端...
- 常晓林左向晖韩臻刘吉强刘新明邢彬
- 基于轮询机制的防止可信客户虚拟域启动崩溃的方法
- 本发明涉及基于轮询机制的防止可信客户虚拟域启动崩溃的方法,该方法使得可信客户虚拟域在系统启动过程中不因为虚拟可信平台模块创建过程的缓慢而出现启动崩溃。本发明的方法采用了对虚拟域内核启动文件中的完整性度量软件进行功能扩充,...
- 刘吉强常晓林韩臻邢彬刘博何帆李生智
- 文献传递
- 适用于云取证的证据数据完整性评估方法被引量:2
- 2016年
- 针对证据数据完整性的问题,指出证据数据完整性评估的意义和重要性.通过考察信息系统在物理环境、网络传输、主机与系统、应用程序、管理和时间这六个方面对于证据数据完整性的影响和作用,提出了一种评估证据数据完整性的框架.运用数据融合方法对评价结果进行量化,通过分别对传统终端取证方法和面向云的取证方法的实例进行评估与量化,证实了该框架对证据数据完整性评估具有切实有效的指导作用及可操作性,结果表明使用传统终端取证工具所获取证据数据的不确定性在云环境下是传统终端取证的5倍.
- 胡波韩臻黄伟庆孙德刚
- 关键词:数据完整性数据融合
- 基于身份的盲签名在移动电子支付中的应用被引量:2
- 2007年
- 目前可行的基于身份数字签名方案大都是基于Weil Pairing或Tate Pairing实现的,而这两种实现体制的时间复杂度均比较高,不适于移动网络环境.针对上述问题,提出了一个基于身份的数字签名方案,在该方案中,KGC无法获得用户的身份和私钥,保护了用户的隐私性.文中在此基础上又提出了一个基于身份的盲签名方案.以上两种方案都是以椭圆曲线离散对数问题为基础,时间复杂度低、签名结果短,因此更适于移动网络环境.最后利用以上两种签名方案构造了一个轻便可分的电子支付方案,其计算量小,所需存储量少,网络传输流量较低,上述特点使其更适于移动网络环境.
- 赵勇刘吉强韩臻
- 关键词:盲签名电子支付移动电子商务
- 一种基于ZRTP密钥交换的VoIP媒体流可信传输的实现方法
- 一种基于ZRTP密钥交换的VoIP媒体流可信传输的实现方法包括:第一用户终端接收第二用户终端发送的Hello类型消息,其中携带有第二用户终端设置的第二用户终端的Remote参数值;第一用户终端将Remote参数值设置为本...
- 常晓林秦英程勇韩臻刘吉强
- 文献传递
- 网络空间安全专业学科培养体系比较研究被引量:8
- 2017年
- 我国批准设立网络空间安全一级学科后,迫切需要对学士、硕士、博士的培养体系进行全面的梳理和规划,进一步提高培养体系的科学性和有效性。本文首先对美国51所开设网络空间安全、信息安全相关专业的高校进行调研,分析在不同学历阶段的培养体系的特点和优势。然后总结我国30所典型高校的培养特点、经验和不足之处,并对我国与美国专业学科培养体系进行比较分析。最后提出我国建设网络空间安全学科培养体系建设的建议。
- 何永忠解男男韩臻
- 关键词:网络空间安全学科建设
- 一种保持多等级安全策略细化后无干扰属性的方法
- 2015年
- 针对多等级架构细化中安全属性(即无干扰属性)保持的问题,提出一个细化函数和若干细化规则。通过细化函数将安全域分解为若干子安全域,通过若干细化规则限定子安全域与其他安全域以及子安全域间需要满足的关系。使用4个定理对细化后的架构或者策略进行形式化的描述和分析,结果表明细化后的架构或者策略仍然保持原架构或者策略的安全属性(即无干扰属性)。
- 吕从东韩臻
- 关键词:无干扰