主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第10期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
白硕,隋立颖,陈庆锋,付岩,庄超.安全协议的验证逻辑.软件学报,2000,11(2):213-221
安全协议的验证逻辑
The Verification Logic for Secure Protocols
投稿时间:1998-04-03  修订日期:1999-03-22
DOI:
中文关键词:  信息安全,协议验证,动态逻辑,非单调逻辑.
英文关键词:Information security,protocol verification,dynamic logic,non-monotonic logic.
基金项目:本文研究得到国家863高科技项目基金(No.863-306-ZD10-02)资助.
作者单位
白硕 国家智能计算机研究开发中心,北京,100080 
隋立颖 国家智能计算机研究开发中心,北京,100080 
陈庆锋 国家智能计算机研究开发中心,北京,100080 
付岩 国家智能计算机研究开发中心,北京,100080 
庄超 国家智能计算机研究开发中心,北京,100080 
摘要点击次数: 2523
全文下载次数: 2573
中文摘要:
      该文提出一种论证安全协议之安全性质的非单调动态逻辑.针对信息安全的特定需要,给出了一组与加密、解密、签名、认证和密钥分配等密码学操作有关的公理和推理规则,举例说明了这一逻辑框架在验证安全协议方面的应用,并讨论了需要进一步解决的问题.
英文摘要:
      In this paper,a non-monotonic dynamic logic that verifies properties of security protocols is introduced.In accordance with the specific requirement of information security,it provides axioms and inference rules about various cryptographic operations such as encryption,decryption,signature,authentication and key assignment.Several instances are given to illustrate its applications in security protocol verification.Open problems for further study are also discussed.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利