【摘 要】
：
提出了在共享数据平台下基于密文的代理安全两方计算协议(ciphertext-based proxy secure two-party computation protocol,CPSTCP),给出该协议的定义、形式化模型.与传统的
【机 构】
：
广东医学院信息工程学院,广东东莞523808陕西师范大学计算机科学学院,陕西西安710062海南师范大学信息科学技术学院,海南海口571158
【出 处】
：
第六届中国可信计算与信息安全学术会议
论文部分内容阅读
提出了在共享数据平台下基于密文的代理安全两方计算协议(ciphertext-based proxy secure two-party computation protocol,CPSTCP),给出该协议的定义、形式化模型.与传统的基于安全计算外包(secure computation outsourcing,SCO)的安全协议相比,本文提出的协议因为不需要秘密共享而拥有更高的安全性和效率.在此基础上,利用基于属性的访问控制策略和已有的安全两方集合交协议,基于格中的困难问题,构造了一个半诚实模型下可证安全的基于密文的代理两方集合交协议。
其他文献
在绿色建筑设计和评价方面,更新设计理念,完善适合自己的设计和评价体系,建立既有建筑与新建建筑运行期间的能耗数据库,对于中国既有建筑的节能改造与绿色建筑设计与评价体系
提出基于设备运行状态信息的机械设备运行可靠性评估方法,对机械设备运行过程中的振动信号采用二代小波包进行分解与重构,获得每个频带信号的相对能量并计算归一化的信息熵.
提出一种基于同源数据融合方式的虚拟探头检测方法.这种方法中,假设在任一谐波轨迹的最大强度方向处有一虚拟探头,该探头能够提取各谐波的最大强度.不仅可以减小振动检测中强
为克服救护车在行驶过程中存在多维振动现象,论文将某三自由度并联机构应用于救护车担架,构建了以该并联机构为主体的三平移多维隔振模型.推导了系统的运动学和动力学方程,对
性能退化评估作为进行设备主动维护、实现零停机率的关键技术,对特征提取提出了完全区别于传统故障诊断的新要求.本文针对性能退化评估框架下的特征群贫乏问题,将奇异谱熵引
道路照明和人类中间视觉密切相关,人类视觉器官的锥体细胞与杆体细胞同时参与相应的观察与感知.目前国际上还没有中间视觉的定量数据与数学模式,文章提出用同一测试仪器1980A
LED产业近几年来发展速度很快,在2015～2020年期间,国内很有可能实现大部分普通照明应用LED照明.但在公路领域中公路隧道照明要求高,产生的费用是运营期间较大的部分.结合国家
在分析传统公路隧道洞外亮度L20(S)测算方法不足的基础上,介绍一种基于数码技术的公路隧道洞外亮度L20(S)测试方法,使得大规模、高效率地实测公路隧道洞外亮度L20(S)成为可能
作为非线性度达到最优的布尔函数——Bent函数可应用于差集、组合论、序列设计密码学等诸多领域.Kumar等人从码分多址技术(CDMA)中相关性最优的序列设计角度将Bent函数的概念
由于射频识别标签本身具有资源受限的特点,因此它只能采用轻量级的加密算法.AES(advancedencryption standard)是当今世界著名的加密标准算法,它具有安全、适应领域宽、实现方便等特点.为了能够把AES用于射频识别标签系统,必须对其进行轻量化处理.本文在对AES加密过程分析的基础上进行了优化设计,采用模块复合结构提高利用率.经仿真实验证明,本文提出的方案符合射频识别标签系统集成