张弘
- 作品数：2 被引量：4H指数：1
- 供职机构：贵州大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金贵州省科技计划项目全国统计科学研究计划项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种理性安全协议的博弈逻辑描述模型被引量：1
- 2015年
- 博弈逻辑ATL和ATEL可以对传统安全协议的公平性、安全性等性质进行分析与验证。但在理性环境中,由于参与者对知识的自利性,ATL和ATEL都不能形式化分析与验证理性安全协议。因此在CEGS中引入效用函数和偏好关系知识,得到新的rCEGS,并在合作模态算子《Γ》中加入行为ACT参数,提出新的可形式化分析理性安全协议的交替时序认知逻辑rATEL-A。然后运用rATEL-A构建两方理性安全协议的形式化模型,并基于rCEGS的等价扩展式博弈,对具体的两方理性交换协议进行形式化分析,结果表明构建的形式化模型可以有效地形式化分析理性安全协议的正确性、理性安全性和理性公平性。
- 刘海彭长根张弘任祉静
- 关键词：博弈论形式化分析
- SMAE:一种新型认证加密算法被引量：3
- 2018年
- 认证加密算法能够同时保障数据的保密性和完整性。以国标对称密码SM4算法为基础,提出一种新型认证加密算法SMAE。SMAE是一种单程专用的认证加密算法,通过将认证码的生成模块与SM4的轮函数结合,并改进了加密模块,使得算法在初始化阶段、加密阶段以及认证码生成阶段可以共享数据和部分算法,最大程度地减少计算资源消耗。SMAE的正确性分析和安全性分析结果表明该算法能够正确进行加解密运算,抵抗当前主流密码攻击。同时,通过与SM4和AEGIS的效率实验对比表明该算法与SM4有所降低,与AEGIS效率相当,具备实用性。
- 李雪松彭长根张弘
- 关键词：认证加密分组密码算法
