明发娱乐登录明发娱乐登录下载

登录外网 办事大厅 西大vpn 明发娱乐登录明发娱乐登录下载友天地 信息公开 领导信箱 图书馆 邮箱 EN
明发娱乐登录明发娱乐登录下载概况
组织机构
教育教学
  • 本科生教育
  • 研究生教育
  • 国际学生教育
  • 继续教育
科学研究
招生就业
  • 本科生招生
  • 研究生招生
  • 国际学生招生
  • 就业工作
人才招聘
合作交流
  • 国内合作
  • 国际合作
文化西大
公共服务
  • 办事大厅
  • 教学日历
  • 图书馆
  • 网络服务
  • 后勤服务
首页 / 学术看板 / 正文
学术看板
    学术看板

    明发娱乐登录明发娱乐登录下载:天辅逻辑论坛：基于动态认知逻辑的非单调密码协议分析


    来源：国家治理学院   |  文字：蒋军利
    编辑： 刘晓琪   |  审核：田丽

    题 目：天辅逻辑论坛：基于动态认知逻辑的非单调密码协议分析

    时 间：2025年3月14日（星期五）19:00

    主讲人：陈小娟

    地 点：绩镛楼（第3教学楼）3203室

    主办单位：国家治理学院

    主讲人简介：陈小娟，明发娱乐登录明发娱乐登录下载商贸学院副教授，主要研究领域为信息安全、密码协议与现代逻辑。

    讲座简介：

    密码协议本身的安全问题一直以来都倍受关注。逻辑分析能够有效地发现密码协议的潜在缺陷，避免使用不安全协议带来的损失。具有知识非单调性的密码协议的分析需要能够表示非单调性的逻辑。我们将首先用“forget”扩展动态认知逻辑语言并给出其精确的语法和语义描述具有知识非单调性的密码协议，其次用克里普克(Kripke)模型结合寄存器模型表示协议中各主体的知识以及协议运行过程中主体知识的变化，协议整个运行过程被完全地形式化。这个形式化过程就是对协议的分析过程，协议运行的最后一步形式化结果即为协议的分析结果，因此协议的安全性也在模型图中自然呈现，并进一步表明我们的分析是有效的。

    返回列表
    • 图书馆
    • 教学日历
    • 办事大厅
    • 登录外网
    • 网络服务
    • 后勤服务
    • 电子邮箱

    北碚明发娱乐登录明发娱乐登录下载区：重庆市北碚区天生路2号　邮编：400715

    荣昌明发娱乐登录明发娱乐登录下载区：重庆市荣昌区学院路160号邮编：402460

    明发娱乐登录明发娱乐登录下载版权所有（渝ICP 06005063号-4）

    书记明发娱乐登录明发娱乐登录下载长信箱
    president@swu.edu.cn
    明发娱乐登录明发娱乐登录下载V9711(中国)股份有限公司