知识-信度的概率形式化模型及其在安全协议验证中的应用

项目负责人周春来
依托单位中国人民大学
立项年份2009
学科分类人工智能基础
资助来源国家自然科学基金
项目状态已立项
资助金额¥19.0万
批准号60905036

工具

查询更多基金项目 | 智能选刊推荐

该负责人其他项目

中国人民大学其他项目

人工智能基础学科其他项目

相关期刊推荐

该学科领域可投稿的高影响期刊: