安全协议的CSP描述技术
基于进程代数的CSP 方法是一种重要的形式化协议分析验证方法。本文首先简单介绍了CSP 相关理论,并以NSPK 协议为例系统概述了安全协议的CSP 建模方法。为更好的查明协议的安全缺陷,重点研究如何在
安全电源技术资料下载专区,收录500份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。
基于进程代数的CSP 方法是一种重要的形式化协议分析验证方法。本文首先简单介绍了CSP 相关理论,并以NSPK 协议为例系统概述了安全协议的CSP 建模方法。为更好的查明协议的安全缺陷,重点研究如何在
SIP 是一种在IP 网络中建立、修改和终止多媒体会话的应用层控制协议,是下一代网络的一个重要信令协议。当前的因特网主要是基于IPv4 的,IPv6 被设计来代替IPv4,但是在相当长一段时间内,两者
资料->【B】电子技术->【B6】品质管理->【1】标准规范(国标、行标、安规、规范)->【国标 GB】->GB 14161-1993 矿山安全标志.pdf
· 摘要: 介绍了一种用DSP设计的基于公用电话交换网络(PSTN)的安全通信系统,整个方案主要用于保证语音、数据和传真等三种通信的安全.系统中主要使用的技术是数据源的编码/解码和加密/解密.德州仪器公司(Texas ...
本书介绍Linux系统安全维护的技术。主要内容包括:一般性安全问题、高级安全问题、安全策略、信任机制以及猝发入侵和最近的入侵方法,如何为入侵做准备,如何进行入侵检测,如何成功、安全、快速地从遇到的入侵中进行恢复等。本书内容丰富、章节安排合...
1.额定电流的选择额定电流(IN)是指滤波器在额定温度下能连续工作的最大直流工作电流或在额定频率下的最大交流工作电流有效值,此额定环境温度一般为40度。当环境温度发生变化时,应按照下式对工作电流作调整。
特点:1.标准卡轨式安装方式,使用方便、外形美观;2.结构紧凑、坚固、抗振、防潮、阻燃、抗电强度高;3.输入输出为端子式,使用灵活、方便。