-
题名可验证的属性基定时签名方案及其应用
- 1
-
-
作者
侯慧莹
宁建廷
黄欣沂
赵运磊
-
机构
复旦大学计算机科学技术学院
福建省网络安全与密码技术重点实验室(福建师范大学)
福建师范大学计算机与网络空间安全学院
信息安全国家重点实验室(中国科学院信息工程研究所)
综合业务网络国家重点实验室(西安电子科技大学)
-
出处
《软件学报》
EI
CSCD
北大核心
2023年第5期2465-2481,共17页
-
基金
国家自然科学基金(U1536205,61472084,61972094,62032005)
国家重点研发计划(2017YFB0802000)
+3 种基金
上海市创新行动计划(16DZ1100200)
上海市科学技术发展基金(16JC1400801)
山东省重点研发计划(2017CXGC0701,2018CXGC0701)
福建省科协第二届青年人才托举工程。
-
文摘
可验证定时签名(VTS)方案允许在给定的时间内对已知消息上的签名进行锁定,在执行时间为T的顺序计算后,任何人都可从时间锁(time-lock)中提取出该签名.可验证性保证了在无需解开时间锁的情况下,任何人都可以公开地验证时间锁中是否包含已知消息上的合理签名,且可以在执行时间T的顺序计算后获得该签名.提出了可验证的属性基定时签名(verifiable attribute-based timed signatures,VABTS)概念,并给出了一个可撤销和可追溯的VABTS方案(RT-VABTS)的具体构造.RT-VABTS方案可同时支持签名者身份隐私保护、动态的用户撤销、可追溯性和定时性,并能解决属性基密码中的密钥托管问题.VABTS具有非常广阔的应用前景,特别列举了VABTS的两种应用场景:构建准入区块链中隐私保护的支付通道网络和实现公平的隐私多方计算.最后,通过形式化的安全性分析和性能评估证明实例化的RT-VABTS方案是安全且高效的.
-
关键词
定时签名
属性基签名
隐私保护
可追溯性
支付通道网络
-
Keywords
timed signatures
attribute-based signatures
privacy-preserving
traceability
payment channel networks(PCNs)
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名面向便携式诊所的安全数据共享方案
- 2
-
-
作者
朱雪岭
侯慧莹
付绍静
赵运磊
刘波
-
机构
国防科技大学计算机学院
复旦大学计算机学院
-
出处
《软件学报》
EI
CSCD
北大核心
2023年第9期4256-4274,共19页
-
基金
国家自然科学基金(62072466)。
-
文摘
随着物联网(Internet of Things, IoT)、云计算等技术的飞速发展,便携式诊所(portable health clinic, PHC)得以实现,并广泛应用于远程医疗.我国依托5G通信的大幅优势,积极推进智慧医疗的建设,搭建了多功能、高质量的远程医疗信息服务平台.以PHC为代表的远程医疗得以实现,离不开远程数据共享系统的技术支撑.目前IoT和云服务器(cloud server, CS)相结合(通常称为云边协同)的远程数据共享系统以其灵活性、高效性广受关注,然而其隐私和安全问题却鲜有研究.考虑到医疗数据的敏感性,致力于研究PHC数据共享系统的安全隐私问题,实现PHC系统中物联网感知数据的安全上传、个性密文的归一化、云服务器上动态多用户的细粒度访问控制、高效的解密操作,并给出形式化的安全性证明.在具体创新上,第一,分别对经典的代理重加密和属性基加密算法进行改进,提出IPRE-TO-FAME组合加密机制,以保障云边协同的PHC系统数据共享的安全性.第二,为了应对物联网终端数量众多、分散性强带来的密钥更新难题,借鉴代理重加密(proxy re-encryption, PRE)的思想,实现基于单方变换的密钥更新,即无需变换IoT终端密钥条件下的密钥更新.同时,应用场景中重加密方可视为完全可信,而常规PRE机制重加密方通常为不可信的第三方服务器,为此,改进经典PRE算法,提出一种高效的IPRE(improved PRE)算法,以适应提出的场景;第三,改进经典的FAME (fast attribute-based message encryption)机制,实现动态多用户的细粒度访问控制,便于用户可以随时随地使用便携式智能设备访问数据.安全性证明、理论分析和实验结果证明,提出的方案具有较好的安全性和较强的实用性,是一类解决PHC安全数据共享问题的有效方案.
-
关键词
便携式诊所
属性基加密
本地重加密
物联网(IoT)
解密外包
-
Keywords
portable health clinic
attribute-based encryption
proxy re-encryption
Internet of Things(IoT)
decryption outsourcing
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名一种基于代数签名的云存储完整性审计方案研究
被引量:4
- 3
-
-
作者
侯慧莹
于佳
郝蓉
-
机构
青岛大学计算机科学技术学院
中国科学院信息工程研究所信息安全国家重点实验室
南京信息工程大学计算机与软件学院
-
出处
《信息网络安全》
CSCD
2017年第10期69-74,共6页
-
基金
国家自然科学基金[61572267
61272425]
+2 种基金
"十三五"国家密码发展基金[MMJJ201301011]
中国科学院信息工程研究所信息安全国家重点实验室开放课题[2016-MS-23
2017-MS-21]
-
文摘
在云存储系统中,安全和效率是两个重要问题。为了解决这两个问题,许多支持数据删重的云存储完整性审计方案被提出。在以往方案中,用户需要为每一个文件块计算一个基于BLS短签名或者RSA签名技术的同态认证器。这样可能会给用户带来比较大的计算负担,尤其当外包数据特别大时。文章使用代数签名技术为每个文件块产生认证器。因为在计算代数签名的过程中大多数操作是异或操作,因此只需要很小的计算开销。此外,方案支持数据所有权的动态变化。当用户对数据进行删除或修改操作后,他就不再是该数据合法的拥有者,不能再正确访问该数据。实验表明,文章方案是安全和高效的。
-
关键词
数据删重
代数签名
完整性审计
-
Keywords
data deduplication
algebraic signature
integrity auditing
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名面向自动驾驶的高效可追踪的车联网匿名通信方案
被引量:5
- 4
-
-
作者
侯慧莹
廉欢欢
赵运磊
-
机构
复旦大学计算机科学技术学院
综合业务网络国家重点实验室(西安电子科技大学)
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2022年第4期894-906,共13页
-
基金
国家重点研发计划项目(2017YFB0802000)
国家自然科学基金项目(61877011,61472084)
山东省重点研发计划项目(2017CXG0701,2018CXGC0701)。
-
文摘
自动驾驶汽车是人工智能与车联网相结合的产物.近年来,因自动驾驶汽车能极大地解放双手、提高交通效率和安全使其得到了工业界和学术界的广泛关注.然而,指令消息及车辆身份的隐私泄露问题严重阻碍了自动驾驶汽车的应用落地.解决该问题的最直接的方法是扩展使用车联网中基于假名的通信方案.但是,大多数此类方案不仅对车辆造成了较大的存储负担,也无法完全保护车辆身份隐私不被泄露.为此,提出了一个面向自动驾驶的高效可追踪的车联网匿名通信方案.在该方案中,车辆由一个多辆车共享的属性集合表示.由于属性集与车辆之间的一对多的关系,车辆的匿名性能自然地得到实现.该方案还能实现指令消息的保密性以及对恶意车辆的追踪.该方案在属性基加密方案中融合了认证加密,设计出了一种签密方案.该签密方案作为底层技术用来支持提出的匿名通信方案.该签密方案相较于现存的属性基签密方案是高效的,更适用于自动驾驶场景.最后,通过形式化的安全性分析和性能评估证明该通信方案是安全且高效的.
-
关键词
自动驾驶汽车
匿名通信
数据隐私保护
可追溯性
车联网
-
Keywords
autonomous vehicles
anonymous communication
data privacy-preserving
traceability
VANET
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名后量子基于验证元的三方口令认证密钥交换协议
被引量:4
- 5
-
-
作者
廉欢欢
侯慧莹
赵运磊
-
机构
复旦大学计算机科学技术学院
西安电子科技大学综合业务网国家重点实验室
-
出处
《通信学报》
EI
CSCD
北大核心
2022年第4期95-106,共12页
-
基金
国家自然科学基金资助项目(No.U1536205,No.61472084)
国家重点研发计划基金资助项目(No.2017YFB0802000)
+3 种基金
上海市创新行动计划基金资助项目(No.16DZ1100200)
上海市科学技术发展基金资助项目(No.16JC1400801)
上海市科委技术标准基金资助项目(No.21DZ2200500)
山东省重点研发计划基金资助项目(No.2017CXG0701,No.2018CXGC0701)。
-
文摘
针对服务器直接以明文的方式存储口令,存在服务器泄露的风险,基于两方的基于格的口令认证密钥交换(PAKE)协议不适用于大规模通信系统的问题,提出了一种格上基于验证元的三方口令认证密钥交换协议。通过随机口令哈希方案生成验证元,并结合口令策略检查机制实现口令的检查,利用基于格的CCA安全公钥加密体制构造一个新的基于验证元的3PAKE协议,同时实现用户与服务器的双向认证。安全性和性能分析证明了所提协议在通信效率和安全度上都具有较好的优势。
-
关键词
三方密钥交换
口令认证
验证元
格
可证明安全
-
Keywords
three-party key exchange
password authentication
verifier
lattice
provable security
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名电力企业管理模式与企业管理现代化探析
- 6
-
-
作者
侯慧莹
-
机构
国网重庆市电力公司璧山供电分公司
-
出处
《中文科技期刊数据库(全文版)经济管理》
2019年第8期179-179,共1页
-
文摘
随着我国社会主义道路的不断发展和进步,我国电力企业愈发迅猛地发展,从而能够推动经济社会的发展需求。企业管理已经成为电力企业发展内容的重要环节,电力企业对于企业管理模式方面具有一定的严格要求。在管理的过程中,电力企业需要将企业管理模式带入现代化的道路,通过一些措施良好地管理电力企业,才能保证电力企业的整体性经济效益。为了更好地进行电力企业的管理工作,本文针对电力企业管理模式与企业管理现代化进行了具体的研究与探析。
-
关键词
电力企业
管理模式
企业管理现代化
-
分类号
F406.7
[经济管理—产业经济]
F426.61
[经济管理—产业经济]
-