用于协议描述及验证的时态逻辑

张骏林; 李江宏

首页> 中文期刊> 《计算机应用与软件》 >用于协议描述及验证的时态逻辑

用于协议描述及验证的时态逻辑

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

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

摘要

cqvip:本文提出了用一种新的基于要求时态逻辑对协议进行描述和验证,并给出了协议满足安全性和活性的充要条件。这种描述方法的优点在于严格、直观和方便。为了解决时态逻辑在表示过去时的不足,定义了新算子(?)表示历史,简化了协议的描述和验证。本文以HDLC为例,说明了协议的基于要求时态逻辑描述方法和协议的验证步骤及方法。

著录项

来源
《计算机应用与软件》 |1992年第2期|48-5336|共7页
作者
张骏林; 李江宏;
展开▼
作者单位

不详;

不详;

展开▼
原文格式 PDF
正文语种 CHI
中图分类计算机网络;
关键词
协议描述; 计算机网络; 时态逻辑;

相似文献

中文文献
外文文献
专利

1. 用于描述和验证数字电路的一阶间隔时态逻辑 [J] . 杜慧敏 ,韩俊刚 . 西北工业大学学报 . 1999,第001期
2. 一种用于密码协议形式化验证的简单逻辑 [J] . 陈玉涛 ,贾步忠 . 电子科技 . 2005,第005期
3. 基于时态描述逻辑ALC-μ的语义物联网服务验证 [J] . 韩乔 ,常亮 . 桂林电子科技大学学报 . 2017,第006期
4. 基于时态逻辑的硬件设计形式化验证技术--模型检验1 [J] . 郭建 ,杜惠敏 ,韩俊刚 . 小型微型计算机系统 . 2001,第005期
5. 一种基于时态逻辑的有限状态系统验证方法 [J] . 杜慧敏 ,杨红丽 ,高德远 . 西北工业大学学报 . 2000,第001期
6. 一种基于时态逻辑的有限状态系统验证方法1 [C] . 杜慧敏 ,袁立行 . 中国电子学会第四届青年学术年会 . 1998
7. 时态认知逻辑的模型检测与安全协议验证 [A] . 吴立军 . 2005

用于协议描述及验证的时态逻辑

摘要

著录项

相似文献

相关主题

期刊订阅