可证安全性全部资料 - 虫虫开发者社区

分组密码算法认证运算模式的注记及可证安全性:对分组密码算法CCM、CMAC加密模式进行描述，用可证安全性理论对它们进行相关研究和证明，并对各种证明情况在不同通信环境下的使用作出说明。针对认证工作模式用

2023-10-14 6 可证安全性

java安全认证，使用唯一的用户文件进行验证。

2013-12-15 95 可证安全性

2016-10-10 68 可证安全性

为了保证数据库数据的安全可靠性和正确有效，DBMS必须提供统一的数据保护功能。数据保护也为数据控制，主要包括数据库的安全性、完整性、并发控制和恢复。

2014-01-23 195 可证安全性

电子见证服务是现代服务业体系中一个重要环节，为电子商务和网络应用提供安全和法律的保证。本文阐述了电子见证服务在电子商务应用中的必要性。研究影响见证服务安全几个因素,提出现有协议中普遍存在的安全漏洞。针

2024-02-20 3 可证安全性

2014-01-03 73 可证安全性

介绍了一种基于Linux平台下保证短信的保密性、完整性及可认证性的安全传输技术，具有防伪造、防重放、防抵赖功能。

2015-08-03 110 可证安全性

安全协议的形式化验证与分析已成为国际研究的热点。本文应用BAN 逻辑研究Needham-Schroeder 对称密钥认证协议，指出该协议存在的安全缺陷，利用消息新鲜性对其进行相应改进，并在BA

2024-03-31 8 可证安全性

本文首先讨论了代理签名体制的可证安全性，为代理签名的可证安全建立了理论基础，同时为研究凭证型代理签名体制的安全性提出了一种形式化模型，该模型定义了攻击者的能力和安全目标；然后用该模型分析了一个

2024-05-04 5 可证安全性

2013-11-02 89 可证安全性

可证安全性