形式化证明

作品数：37被引量：104H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：左正康沈昌祥李益发王昌晶郁文生更多>>
相关机构：江西师范大学北京邮电大学解放军信息工程大学中国科学技术大学更多>>
相关期刊：《江西师范大学学报（自然科学版）》《计算机系统应用》《现代电子技术》《中国科技论文在线精品论文》更多>>
相关基金：国家自然科学基金江西省自然科学基金中央高校基本科研业务费专项资金中国博士后科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=网络安全技术与应用x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于区块链技术的RFID匿名认证协议被引量：1
《网络安全技术与应用》2020年第6期20-23,共4页庄园 甘勇 王冰丽 贺蕾 
广泛使用的无源RFID标签在计算能力和存储方面受限较多,这为RFID标签的安全认证问题带来了极大的挑战。为了保证通信各方隐私安全,同时抵抗不同类型的攻击,本文提出了一种全新的基于区块链技术的RFID标签匿名认证协议,协议使用哈希函数...
关键词：RFID 区块链技术 认证 GNY形式化证明 
云计算环境下的可信接入安全协议研究进展被引量：4
《网络安全技术与应用》2013年第8期112-116,共5页张志勇 常亚楠 王剑 向菲 
国家自然科学基金(No.61003234);河南省杰出青年基金(No.134100510006);河南省教育厅科学技术研究重点项目基础研究计划(No.13A520240)
随着云计算的蓬勃发展,越来越多的用户在云端使用计算和存储资源,然而各种安全问题接踵而来。云计算和可信计算技术的融合研究将成为云安全领域的重要趋势,通过设计安全协议来保障整个云计算环境的安全性和可生存性。主要针对在云计算...
关键词：云计算安全 可信计算 可信接入 安全协议 形式化证明 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部