基于GSPM的安全协议新鲜性分析

安全协议形式化分析方法通过规范描述和数学推理来检验安全协议是否满足各种安全要求。GSPM是安全协议形式化分析的一般模型。在该模型中加入新鲜性的定义,形式化描述了新鲜性这一特殊的安全性质,扩展了GSPM的适用范围,并通过Andrew Secure RPC协议给出了形式化分析新鲜性的实例研究。

安全协议匿名性形式化分析

改进了一般安全协议模型GSPM,提出了一个新的框架GSPM#,以弥补GSPM框架没有研究安全协议匿名性的不足.同时,用不同的方法定义了新框架下的匿名性,包括事件匿名性和数据匿名性.最后,以DCP(Dining Cryptographers Protocol)和它的变体为例,进行了匿名性分析的实例研究.

T2000高速接口测试解决方案

应对PC中数据的高速传输以及HDTV等消费类应用中的高格式数据传输,各种高速接口被广泛应用,而这些高速接口芯片在ATE系统上的测试遇到了很大挑战,ADVANTEST以6GSPM结合开放式模块架构的T2000测试系统提供了高效低成本的测试解决方案,可以应对HDMI等各种高速接口的测试要求,人性化的操作界面还为编程和调试提供了极大的便利。

T2000高速串行接口测试介绍

高速串行接口正越来越多地被应用到各种消费类电子产品中,如何对高速串行接口进行测试也成为了人们日益关注的话题。ADVANTEST T2000测试系统的6Gbps高速串口测试模块(6GSPM)可以为高速串行接口提供全面的测试方案,为高速串行接口的测试提供从验证到量产测试的完备解决方案。