-
题名基于位置密钥交换的UC安全模型
被引量:5
- 1
-
-
作者
张俊伟
马卓
马建峰
姬文江
-
机构
西安电子科技大学计算机学院
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2014年第2期353-359,共7页
-
基金
长江学者和创新团队发展计划基金项目(IRT1078)
国家科技重大专项基金项目(2011ZX03005-002)
+8 种基金
国家自然科学基金项目(U1135002
61100230
61100233
61202389
61202390)
陕西省自然科学基础研究计划基金项目(2011JQ8003
2012JM8030)
中央高校基本科研业务费专项基金项目(JY10000903001
K5051303003)
-
文摘
基于位置密码学的目标是将参与方的物理位置信息作为唯一的凭证来实现某些密码学任务,如基于位置的加密.可证安全的基于位置密钥交换协议应满足对于任意位置的证明者,在基于位置密钥交换协议后,证明者和验证者之间能够协商一个共享密钥.并且,对于任意多个共谋敌手而言,该共享密钥与随机数是不可区分的.研究了基于位置密码学中密钥交换的可证明安全问题.在通用可组合安全框架下,提出了基于位置密钥交换的可证安全模型.根据基于位置密钥交换协议的需求,设计了基于位置密钥交换的理想函数.对于任意多个共谋敌手而言,该理想函数生成的共享密钥与随机数是不可区分的.同时,作为基于位置密码学的一种前提假设,设计了有界检索模型(bounded retrieval model,BRM)的理想函数.此外,以1-维空间的基于位置密钥交换为例,证明了该协议在BRM模型下能够实现基于位置密钥交换的理想函数.
-
关键词
基于位置密码学
密钥交换
UC安全
理想函数
BRM模型
-
Keywords
position-based cryptography
key exchange
UC secure
ideal functionality
boundedretrieval model
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名物联网中基于位置的数字签名方案
被引量:3
- 2
-
-
作者
阙梦菲
张俊伟
杨超
杨力
马建峰
崔文璇
-
机构
西安电子科技大学网络与信息安全学院
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2018年第7期1421-1431,共11页
-
基金
国家自然科学基金项目(61472310
U1536202
+3 种基金
U1405255
61672413
61672415
61671360)~~
-
文摘
物联网可用于收集大量与位置和时间相关的信息,如智能消防、智能交通、环境监测信息等.然而,如何保障这些时空敏感数据的安全成为了一个挑战.一方面,需要提供数据的完整性属性;另一方面,需要确保数据源的位置和时间信息不可伪造.因此,提出了基于位置的数字签名,将其作为解决物联网中时空敏感数据安全问题的方案.首先,分别提出了不考虑时间因素的静态基于位置数字签名和考虑时间因素的动态基于位置数字签名;然后,在BRM模型下设计了3维空间中满足动态安全需求的基于位置数字签名;通过安全性分析,得出结论:该协议可以抵御敌手的共谋攻击,同时满足可证明安全.
-
关键词
物联网
基于位置密码学
基于位置数字签名
有界检索模型
可证明安全
-
Keywords
IoTs
position based cryptography
position based digital signature
bounded retrieval model (BRM)
provable security
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名安全定位协议的UC模型
被引量:2
- 3
-
-
作者
张俊伟
马建峰
杨超
-
机构
西安电子科技大学计算机学院
-
出处
《通信学报》
EI
CSCD
北大核心
2013年第2期117-122,共6页
-
基金
国家科技重大专项基金资助项目(2011ZX03005-002)
国家自然科学基金资助项目(U1135002
+3 种基金
61100230
61100233)
陕西省自然科学基础研究计划基金资助项目(2011JQ8003)
中央高校基本科研业务费基金资助项目~~
-
文摘
研究了基于位置密码学中安全定位协议的可证明安全问题。在通用可组合安全框架下,提出了安全定位的可证安全模型。根据安全定位协议的需求,设计了安全定位的理想函数。同时,作为基于位置密码学的一种前提假设,设计了BRM模型的理想函数。此外,以1-维空间的安全定位协议为例,证明了该协议在BRM模型下能够实现安全定位的理想函数。
-
关键词
基于位置密码学
安全定位
UC安全
-
Keywords
position-based cryptography
secure positioning
UC secure
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-