认识逻辑及其在安全协议设计、验证中的应用
基本信息
批准号：60073056
项目类别：面上项目
资助金额：14.00
负责人：苏开乐
学科分类：
依托单位：中山大学
批准年份：2000
结题年份：2003
起止时间：2001-01-01 - 2003-12-31
项目状态： 已结题
项目参与者：倪德明,龙冬阳,印鉴,侯广坤,周晓聪,蔡国扬,任远,刘虎,罗文村
关键词：
形式化方法认识逻辑安全
结项摘要
本项目将从安全协议的设计和验证的需要出发研究认识逻辑。探索通信与信念的关系的基本语义模型，从而建立具有多种类模态词的表示力强的新型认识逻辑。本项目将使人们对认识逻辑有更清晰的了解，并为安全协议的形式化分析奠定坚实的逻辑基础。
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
四川盆地东部垫江盐盆三叠系海相钾盐成钾有利区圈定:地球物理和地球化学方法综合应用
四川盆地东部垫江盐盆三叠系海相钾盐成钾有利区圈定:地球物理和地球化学方法综合应用
DOI：10.19762/j.cnki.dizhixuebao.2021191
发表时间：2021
2
黄曲霉毒素B1检测与脱毒方法最新研究进展
黄曲霉毒素B1检测与脱毒方法最新研究进展
DOI：10.3969/j.issn.1000-4440.2021.03.031
发表时间：2021
3
WMTL-代数中的蕴涵滤子及其应用
WMTL-代数中的蕴涵滤子及其应用
DOI：10.11897/SP.J.1016.2018.00886
发表时间：2018
4
面向人机交互的数字孪生系统工业安全控制体系与关键技术
面向人机交互的数字孪生系统工业安全控制体系与关键技术
DOI：10.13196/j.cims.2021.02.006
发表时间：2021
5
油源断裂输导和遮挡配置油气成藏有利部位预测方法及其应用
油源断裂输导和遮挡配置油气成藏有利部位预测方法及其应用
DOI：10.16509/j.georeview.2021.02.010
发表时间：2021
苏开乐的其他基金
批准号：19601013
批准年份：1996
资助金额：3.20
项目类别：青年科学基金项目
批准号：60473004
批准年份：2004
资助金额：23.00
项目类别：面上项目
批准号：61472369
批准年份：2014
资助金额：86.00
项目类别：面上项目
相似国自然基金
1
基于事件逻辑的安全协议形式化分析及验证
批准号：61163005
批准年份：2011
负责人：肖美华
学科分类：F0201
资助金额：30.00
项目类别：地区科学基金项目
2
知识-信度的概率形式化模型及其在安全协议验证中的应用
批准号：60905036
批准年份：2009
负责人：周春来
学科分类：F0601
资助金额：19.00
项目类别：青年科学基金项目
3
系统规范表示与验证的认识逻辑途径
批准号：60473004
批准年份：2004
负责人：苏开乐
学科分类：F0201
资助金额：23.00
项目类别：面上项目
4
物联网RFID安全协议设计与验证研究
批准号：61302091
批准年份：2013
负责人：张琛
学科分类：F0102
资助金额：24.00
项目类别：青年科学基金项目