Formal Specifications and Verification of a Secure Communication Protocol Model

来源 :系统工程与电子技术:英文版 | 被引量 : 0次 | 上传用户:newlinge
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
This paper presents a secure communication protocol model-EABM, by which network security communication can be realized easily and efficiently. First, the paper gives a thorough analysis of the protocol system, systematic construction and state transition
其他文献
<正>目的在低管电压条件下对肥胖病人行腹部CT检查,采用集成电路(IC)探测器与常规探测器技术,比较两种技术的影像质量及低对比度检测能力。方法将一个含45个
在初一数学上册教材中实际问题与一元一次方程是个关键和重点的内容,一元一次方程灌穿第三章。通过总结解一元一次方程的基本过程和解决实际问题时注意的要点,不仅有利于教师
A power allocation scheme for multi-user multiple-input multiple-output orthogonal frequency division multiplexing (MIMO-OFDM) systems with channel state inform
中国是一个农业大国,随着经济改革的不断深化,农村经济的不断快速发展,广大农民对金融服务的需求与日俱增。中国社科院“三农”互联网蓝皮书数据显示,中国“三农”金融的缺口
In this paper, a new method for mobile robot map building based on grey system theory is presented, by which interpretation and integration of sonar readings ca
<正> 慢性萎缩性胃炎(Chronic atrophic gastritis以下简称CAG)有许多种分型。近年多采用Strickland提出的免疫分型,该氏主张以血清壁细胞抗体(Parietal Cell Antibody以下简
<正>试卷讲评课是以分析学生考试情况、纠正考试中存在的共性错误、弥补教学上的遗漏、帮助学生牢固掌握所学知识和提高能力的课型。上好试卷讲评课,特别是上好毕业年级的试
本文根据线极化的基本原理和极化角调整的实际,为了便于分析、计算和测量,提出了极化角的新定义和极化偏角、极化源转角的概念;使用解析几何方法,给出了方位角、仰角和极化角
A special type of asymptotic (exponential) stability, namely componentwise asymptotic (exponential) stability for the continuous-time interval system is investi