首页> 中文会议>全国青年通信学术会议 >一种新的认证逻辑系统及其应用

一种新的认证逻辑系统及其应用

页面导航

摘要
著录项
相似文献
相关主题

摘要

本文给出了一种新的逻辑系统,并给出了若干实用的定理,这些定理可更方便地用来分析密码协议的安全性.此外,本文还给出了若干协议的安全性分析实例,在得到协议安全性分析结果的同时,也说明了本系统不仅可以用来分析常见的密钥建立协议的安全性,还可用来分析身份认证协议和非否认协议等其他密码协议的安全性.

著录项

来源
《全国青年通信学术会议》|2002年|597-607|共11页
会议地点北京
作者
李益发; 赵亚群;
展开▼
作者单位

中国通信学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类理论;
关键词
密码协议; 安全性分析; BAN类逻辑; 认证逻辑系统; 网络安全;

相似文献

中文文献
外文文献
专利

1. Lukasiewicz 命题逻辑系统一种新的理论的相容度 [J] . 张建成 ,王国俊 . 数学进展 . 2007,第006期
2. 一种基于IdentificationStatus认证的独立身份认证服务机构的新架构 [J] . 李跃武 ,许斌 ,高崇明 . 通信技术 . 2021,第12期
3. 一种相关型模糊集合及其在模糊逻辑系统中的应用 [J] . 岳菊梅 ,陈秋双 ,陈增强 . 中南大学学报（自然科学版） . 2014,第002期
4. 一种集成电路在组合逻辑系统中的实际应用研究 [J] . 白玉成 . 中国科技信息 . 2009,第012期
5. 一种基于模糊CMAC自学习模糊逻辑系统及其在控制中的应用 [J] . 段培永 ,张玫 ,邵惠鹤 . 上海交通大学学报 . 2002,第4期
6. 一种新的认证逻辑系统 [C] . 李益发 ,余嘉宁 ,南相浩 . 中国计算机学会信息保密专业委员会学术年会 . 2001
7. 新的无规则模糊逻辑系统构造及控制应用 [A] . 李玉姣 . 2014

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号