论文部分内容阅读
模型检测技术在安全协议验证领域取得了很大成果，但是存在状态空间爆炸问题。已经提出的小系统理论从理论上有效地解决了这个问题。使用符号模型检测工具SMV对NSPK协议进行了建模，对其安全性质进行了断言语言CTL描述并提交系统运行，发现了其已知的安全漏洞，证明了此种方法的有效性。
基于符号模型检测的安全协议验证
【摘 要】
：
模型检测技术在安全协议验证领域取得了很大成果，但是存在状态空间爆炸问题。已经提出的小系统理论从理论上有效地解决了这个问题。使用符号模型检测工具SMV对NSPK协议进
【机 构】
：
总参大气环境研究所,北京,中国, 100001
【出 处】
：
2011年青年通信国际会议(ICYC2011)
【发表日期】
：
2011年期
其他文献
AB-Chord aIMSto tackle the single information inquiry direction of node routing table in Chord pro-tocol, which adds a finger table of counter-clockwise dir
会议
本文针对覆盖网络多路径传输时的最优路径组选择困难的情况，以引入结构化P2P 技术的Spines 覆盖网络为平台，采用动态规划方法寻找一条综合考虑时延与丢包率的最优路径作为
本文提出了基于射频保护比实测数据的兼容性分析方法。重点介绍了内场半实物仿真射频保护比的测试方法，包括干扰信号的采集与产生方法，射频保护比的测试配置与测试步骤。
运用信息论中的信息增益解释已有的两种主客观权重相结合的多指标决策问题，以最小化增益为目标函数确定指标权重，并给出了一种新的组合权的确定方式。对四家企业投资决策做
空时分组编码（STBC）技术能够获得满发射分集增益并且译码简单，而正交频分复用(OFDM)技术可对抗水声信道中的多径干扰和实现较高的频谱利用率。本文把STBC-OFDM 技术应用于高
随着互联网的飞速发展，移动用户的数量已经超过固定用户。有理由相信，下一代互联网将建立在传统有线网的基础上，同时大规模融合无线局域网，蜂窝网络，无线传感器网络，2G/3G/4G
IEC 61850 是下一代变电站的无缝通信标准，ACSI 是IEC 61850 规范的一套抽象通信服务接口，它的映射实现是IEC 61850 应用的关键所在。针对IEC 61850具体应用中智能电子设备
In this paper we point out that using Eulers formula ejθ=cosθ+jsinθand formula eAeB=eA+B+2/1｛A,B｝can largely simplify the evaluation of complex and hyper-c
会议