冯聿梦

作品数:3被引量:1H指数:1
导出分析报告
供职机构:北京工业大学计算机学院更多>>
发文主题:可信计算安全域机密性可信计算技术电子投票更多>>
发文领域:自动化与计算机技术更多>>
发文期刊:《计算机工程》《武汉大学学报(信息科学版)》《计算机应用研究》更多>>
所获基金:国家重点基础研究发展计划国家高技术研究发展计划国家科技重大专项更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-3
视图:
排序:
一种基于可信计算技术的电子投票方案被引量:1
《计算机工程》2012年第6期1-6,共6页冯聿梦 
国家"973"计划基金资助项目(2007CB311100);"核高基"重大专项(2010ZX01037-001-001)
在现有的电子投票方案中,要求满足以下前提:投票人所使用的客户端是安全的,投票人与管理者之间存在匿名的或秘密的通信信道,但这2点通常难以成立。为此,提出一种基于可信计算技术的电子投票方案,该方案利用可信计算技术保障客户端安全性...
关键词:电子投票 可信计算 同态加密 机密性 无收据性 秘密信道 
一种远程证明协议转换模型及通用安全协议研究
《计算机应用研究》2010年第6期2309-2312,2320,共5页施光源 公备 冯聿梦 
国家"863"计划资助项目(2009AA012437);国家"973"计划重点资助项目(2007CB311100)
在对现有的远程证明技术进行分析研究的基础上,提出了一种远程证明证据传输的通用方法,该方法利用协议转换代理模块将不同的证明信息通过对偶的方式转换为通用的证明信息,并且利用所设计的通信协议进行安全传输。该方法解决了远程证明...
关键词:远程证明 可信网络 通信协议 可信计算 
利用DTE技术的证明系统安全域模型研究
《武汉大学学报(信息科学版)》2010年第5期537-541,共5页施光源 公备 冯聿梦 岳少园 
国家863计划资助项目(2006AA01Z440;2009AA012437);国家973计划资助项目(2007CB311100);核安全与仿真技术国防重点学科实验室开放研究基金资助项目(HEUFN0801);北京工业大学博士创新基金资助项目(bcx-2009-066)
为了解决证明系统中存在的完整性保护不足的问题,对完整性策略和保护机制进行了研究,提出了一种基于DTE技术的证明系统安全域模型。该模型将证明系统按照功能特性划分为若干安全域,并且定义了模型变量以及安全规则。同时,为了确保不同...
关键词:证明系统 安全域 可信管道 
检索报告 对象比较 聚类工具 使用帮助 返回顶部