-
题名一种基于可信计算技术的电子投票方案
被引量：1
- 1
-
-
作者
冯聿梦
-
机构
北京工业大学计算机学院
-
出处
《计算机工程》
CAS
CSCD
2012年第6期1-6,共6页
-
基金
国家"973"计划基金资助项目(2007CB311100)
"核高基"重大专项(2010ZX01037-001-001)
-
文摘
在现有的电子投票方案中,要求满足以下前提:投票人所使用的客户端是安全的,投票人与管理者之间存在匿名的或秘密的通信信道,但这2点通常难以成立。为此,提出一种基于可信计算技术的电子投票方案,该方案利用可信计算技术保障客户端安全性,减少匿名信道或秘密信道的使用,提高电子选举的实用性,并且满足投票系统机密性、无收据性、公开可校验性等安全属性。分析结果表明,与同类方案相比,该方案的通信量较低,投票效率较好。
-
关键词
电子投票
可信计算
同态加密
机密性
无收据性
秘密信道
-
Keywords
electronic voting
trusted computing
homomorphic encryption
confidentiality
receipt-free
secret channel
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名一种远程证明协议转换模型及通用安全协议研究
- 2
-
-
作者
施光源
公备
冯聿梦
-
机构
北京工业大学计算机学院
-
出处
《计算机应用研究》
CSCD
北大核心
2010年第6期2309-2312,2320,共5页
-
基金
国家"863"计划资助项目(2009AA012437)
国家"973"计划重点资助项目(2007CB311100)
-
文摘
在对现有的远程证明技术进行分析研究的基础上,提出了一种远程证明证据传输的通用方法,该方法利用协议转换代理模块将不同的证明信息通过对偶的方式转换为通用的证明信息,并且利用所设计的通信协议进行安全传输。该方法解决了远程证明中不同证明信息传输的通用性问题,并且保障了远程证明信息在传输过程中的机密性和完整性。
-
关键词
远程证明
可信网络
通信协议
可信计算
-
Keywords
remote attestation
trusted network
communication protocol
trusted computing
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
