论文部分内容阅读
WAPI协议是我国自行制定的无线局域网国家标准。在对其中WAI的安全接入过程深入研究的基础上，使用BAN逻辑对该过程进行了形式化的分析和验证。验证结果表明协议中存在着安全漏洞，文章最后针对这些安全漏洞提出了一些改进的建议。
WAPI安全接入过程的形式化验证
【摘 要】
：
WAPI协议是我国自行制定的无线局域网国家标准。在对其中WAI的安全接入过程深入研究的基础上，使用BAN逻辑对该过程进行了形式化的分析和验证。验证结果表明协议中存在着安全漏
【机 构】
：
上海交通大学信息安全工程学院
【出 处】
：
信息技术
【发表日期】
：
2006年1期
其他文献
介绍了一种基于FPGA的FFT算法的实现方法。用VHDL语言完成系统设计描述，经过编译、综合和下载，给出了仿真测试的结果。在FPGA芯片上运行的兀叩算法具有速度快和抗干扰能力强的
采用TMS320C6416作为系统的核心处理器,并应用适当的算法完成图像的编解码过程。该系统可以应用于通信科学,图像识别,新闻现场等诸多图像处理与传输领域。对系统的硬件资源选择、视频采集芯片SAA7111,系统的软件流程进行了详细的分析。系统不仅能够实现较高比例的数据压缩,而且还原图像的失真较小,具有较高的实用价值。
设想了一种利用GPS和GSM的汽车自动报警和求救系统,并阐述了它的构成、工作原理以及各主要部分硬件与软件.安装此系统有望使车祸中的受伤人员得到及时的医治,另外还有助于交
菊花为菊科植物杭菊花（Chrysanthemum morifolium Ramat．）的干燥头状花序，目前对菊花的研究基本上局限于其花序的煎剂、浸膏的提取物等。对菊叶所含成分研究较少。不利于菊花资源