关于“为设计认证协议的一个简明逻辑”一文的注记

Buttyan等人提出了一个简洁的逻辑 ,他们把它用于改进 Woo- L am协议 ,并且未证明地声称 :改进后的协议是抗协议与自身的交互攻击的 .为表明他们的结论是不正确的 ,找到了改进协议的两个不同的攻击 ,并详细解释如何加以实现 .构造攻击的方式除了要求更细致之外 ,与 Debbabi等人的方式在本质上是相似的 .进一步的分析表明Debbabi等人的逻辑没有足够的能力推理交互攻击 ,该逻辑有待改进

基于Diameter协议的AAA服务设计与实现

随着社会信息化程度的不断提高，各行各业对远程数字视频监控的应用日益广泛。越来越多的视频数据要求进行实时和无地域性障碍的传输，以求实现更好的资源共享。认证、授权和计费服务在视频监控系统和其他应用系统中都担负了保障系统安全、实体可信赖和费用有效的责任，是网络运营管理中非常重要的部分。 本文以下一代互联网中的视频监控应用需求为背景，介绍了视频监控技术的发展和AAA（Authentication、Authorization、Accounting）服务内容，提出了基于Diameter协议实现AAA服务的方案，设计了支持跨域访问、实时计费、支持IPv4/IPv6双栈的AAA服务系统，并完成了其在视频监控应用中的实现，同时还实现了系统管理和网上营业厅功能的业务支撑系统，测试和验证了AAA服务系统和业务支撑系统的正常工作。 本文工作主要有如下贡献： 1. 参与设计了视频监控系统的整体框架和子系统间接口； 2. 提出了以Diameter协议为基础实现视频监控系统中AAA服务的方案； 3. 设计了视频监控系统中的AAA子系统框架，同时设计了跨域服务方案和实时计费方案； 4. 实现了视频监控系统中的AAA子系统，提供了认证、授权、实时计费、跨域访问等功能，完成了Diameter客户端、代理和服务器实体，测试和验证了AAA服务子系统运行效果； 5. 设计并实现了视频监控系统中的业务支撑子系统，提供了系统管理和网上营业厅功能，展示了业务支撑子系统运行效果。

基于TCP/ IP 协议的CSR离子泵电源远程监控软件系统设计

This paper discuss a Ion-pump Power Supply control system making use of RS232 series bus and Intranet.The system s hardware VAC800 is composed of MSP430F149 mixed-signal processors produced by TI and UA7000A network model.MSP430F149 has advantages of ultra-low-power and high-integration.The Ion-pump Power Supply control system has the characteristics of strong function,simple structure,high reliability,strong resistance of noise,no peripheral chip,etc.Visual studio 2005 is used to design the system s softwa...中文文摘：论述了通过RS-232总线和Intranet网络,来实现对远端的离子泵电源的监测与控制。系统硬件VAC800由TI公司的MSP430F149混合信号处理器和UA7000A网络模块构成。MSP430F149具有超低功耗和高集成度等优点,利用它构建的离子泵电源监控系统功能强大,结构简单,可靠性高,抗干扰能力强。系统软件采用visual studio 2005设计。本监控系统能够很好地完成对加速器离子泵电源监视与控制。