论文部分内容阅读
安全通信是一个日益重要的问题，本文作者在中应用层设计了一个安全通信控制设备（ＳＣＣＭ），来实现安全通信。本文用ＡＳＮ１对此安全通信协议的协议数据元进行描述，然后根据协议状态转移图，应用可达性分析来验证协议的完整性，无死锁，无活锁，终止性等重要性质。
一种应用层安全通信协议的形式描述和验证
【摘 要】
：
安全通信是一个日益重要的问题，本文作者在中应用层设计了一个安全通信控制设备（ＳＣＣＭ），来实现安全通信。本文用ＡＳＮ１对此安全通信协议的协议数据元进行描述，然后根据协议状态转移图，应用可达
【机 构】
：
上海交通大学电子工程系
【出 处】
：
计算机工程与应用
【发表日期】
：
1998年2期
其他文献
20 0 3年 1 0月 3日 ,中国银监会正式颁布《汽车金融公司管理办法》,1 2月 2 9日三家外资汽车金融公司获得批准可以开展汽车金融服务 ,这意味着我国汽车信贷市场从此进入银行
1会计制度建设是保证体制改革的重要基础会计是诚信行业,如果会计失于诚信,弄虚作假,欺诈舞弊,那么会计关系得以存在的基础就会随之崩塌,会计业的生命力也会随之完结,所以会
本文在文献提出了多ＥＳ集成式决策支持系统（ＭＥＳＩＤＳＳ）的基本概念并对其总体结构设计进行探讨的基础上，从多领域知识库系统的组织方式，多ＥＳ动态合作的实现和系统的工作过程等方面对ＭＥＳＩＤＳＳ的实现方法做
道路碾压混凝土是一种新型筑路材料，有助于缓解当前我国建设需求与建设资金、资源等的矛盾。通过分析典型工程实例，探讨碾压混凝土在道路面层、基层、路基工程中的应用，并论述道
为探索有效的垃圾渗滤液处理工艺，本文对采用生化-物化组合工艺、中试试验采用膜生物反应器-纳滤组合工艺进行对比研究，主要研究成果如下：经生化-物化组合工艺处理后出水能达到
12月25日，南宁市房产管理局专门召开南宁市房地产经纪管理工作会议，根据部署，南宁市房地产市场将进行大规模的专项检查，房地产市场有望得到进一步整顿和规范。
文章介绍了头发悬臂梁弯曲模型，提出用面集合仿真真实的头发，生成具有光照效果的图象。同时，提出了以椭球为头壳生成头发模型后，将其移植到实际存在的头部模型上的方法，以及头发与
随着Ｉｎｔｅｒｎｅｔ／Ｉｎｔｒａｎｅｔ的普及，安全性问题也日益引起人们的关注。文章通过开发同舟生命卡网上服务系统的实际经验，提出了在Ｃ／Ｓ模式下，针对系统安全性所采取的若干方法与技术，包括内核级透明代理，用户
以季冻区道路的半刚性基层为背景，对石灰稳定土和二灰稳定土的最佳干密度、无侧限抗压强度和冻胀量进行了研究。经过试验得出季冻区石灰稳定土基层中石灰剂量为14％～16％时强度相对