冯聿梦
- 作品数:4 被引量:2H指数:1
- 供职机构:北京工业大学计算机学院更多>>
- 发文基金:国家重点基础研究发展计划国家高技术研究发展计划国家科技重大专项更多>>
- 相关领域:自动化与计算机技术更多>>
- 利用DTE技术的证明系统安全域模型研究被引量:1
- 2010年
- 为了解决证明系统中存在的完整性保护不足的问题,对完整性策略和保护机制进行了研究,提出了一种基于DTE技术的证明系统安全域模型。该模型将证明系统按照功能特性划分为若干安全域,并且定义了模型变量以及安全规则。同时,为了确保不同域之间能够安全传输,在模型中引入了可信管道的概念。给出了安全域模型的实现方法和管道协议,并对管道协议进行了安全性分析和证明。
- 施光源公备冯聿梦岳少园
- 关键词:安全域
- 一种基于可信计算技术的电子投票方案被引量:1
- 2012年
- 在现有的电子投票方案中,要求满足以下前提:投票人所使用的客户端是安全的,投票人与管理者之间存在匿名的或秘密的通信信道,但这2点通常难以成立。为此,提出一种基于可信计算技术的电子投票方案,该方案利用可信计算技术保障客户端安全性,减少匿名信道或秘密信道的使用,提高电子选举的实用性,并且满足投票系统机密性、无收据性、公开可校验性等安全属性。分析结果表明,与同类方案相比,该方案的通信量较低,投票效率较好。
- 冯聿梦
- 关键词:电子投票可信计算同态加密机密性
- 基于多域贝叶斯网络的可信计算平台评估方法
- 为了评判可信计算平台的安全状况,应基于测评工作对其风险进行评估.通过分析可信计算平台的各项风险指标,结合日志提供的受攻击状况,文中提出了基于多域贝叶斯网络(MDBN)的可信计算平台评估方法.该方法根据平台特点将风险贝叶斯...
- 冯聿梦施光源
- 关键词:可信计算平台风险评估风险指标
- 文献传递
- 一种远程证明协议转换模型及通用安全协议研究
- 2010年
- 在对现有的远程证明技术进行分析研究的基础上,提出了一种远程证明证据传输的通用方法,该方法利用协议转换代理模块将不同的证明信息通过对偶的方式转换为通用的证明信息,并且利用所设计的通信协议进行安全传输。该方法解决了远程证明中不同证明信息传输的通用性问题,并且保障了远程证明信息在传输过程中的机密性和完整性。
- 施光源公备冯聿梦
- 关键词:远程证明可信网络通信协议可信计算