中国实验室国家认可委员会确认检测方法

中国实验室国家认可委员会（CNAL）确认检测方法体系依托我国科技基础条件平台项目“国家分析测试体系”的建设成果。以能力验证活动作为技术平台，按照“科学严谨、重点先行、广泛协作、循序渐进”的原则建立的。     

综述：知识系统的V＆V技术

知识库的异常是影响整个知识系统性能的重要因素之一，因此必须对获取的知识进行校验。本文综述了知识库异常检测和验证的相关研究，给出了异常知识的分类及其危害性，分析了知识库验证困难的原因，介绍了用于知识库验证的静态和动态方法，列举了国际上几个著名的知识库验证工具，并对知识库验证的研究进行了展望。     

基于Colored Petri网的安全协议描述和验证

对网络安全协议进行形式化描述和正确性验证有助于消除协议的设计缺陷，发现协议的不精确性.本文将使用具有强数学基础和强分析能力的着色Petri网（Colored Petri Net，简称CP-Nets）对NS公钥认证协议（NeedhamSchoeder Public-Key Authentication Protocol）进行建模，在此基础上分析验证该协议，阐明协议存在的缺陷并给出改进的方法.     

审计缓冲区的形式化模型及其验证

审计系统作为安全信息系统的一个重要组成部分，对于监督系统的正常运行、保障安全策略的正确实施、构造计算机入侵检测系统等都具有十分重要的意义。审计缓冲区的管理是审计系统的核心部分，本文利用时序Petri网对审计缓冲区管理的实现方案进行建模，进而对系统的安全性和活性进行了分析和验证。该方法利用时序逻辑扩充了Petri网缺乏描述系统事件之间时序关系的局限性，同时发挥了Petri网对系统并发和物理结构的有效描述及分析的优势，达到了系统验证的目的。     

WPKI中证书撤销验证的代理OCSP方案

在WPKI中,如何在无线终端设备中验证服务器证书是否撤销是一个复杂的问题。对此提出一种新的方案,称之为“代理OCSP方案”。它是对OCSP协议的改进,能够用较小的代价获得证书的实时状态。给出这种方案的详细设计,并和其他方案进行了比较。     

新的验证技术能消灭垃圾邮件吗?

在过去的几年里,消灭垃圾邮件似乎是不可能取胜的一场战争。但是随着人们的不断努力,新技术的推广也许就是阻止垃圾邮件和网页仿冒到处肆虐的武器,譬如M e n g W e n gWong领导的团队研发了一种名为SPF的新技术。据Pobox.com公司的首席技术官兼创办人MengWengWong声称,对付垃圾邮件就好比是打鼹鼠游戏。他的团队开发出了发送者策略框架(SPF),这是目前采用的最流行的防伪技术。“一旦你编写了防垃圾邮件的规则,有人就会迅速找到办法绕开它。”但是已经出现了一丝曙光。今年6月2日至3日,Meng以专题讨论小组成员的身份出席了在加州圣何塞…     

NI将主办第2届“设计、验证及测试论坛”

2005年2月,美国NI公司宣布,将于2005年4月15日在上海国际会议中心举行第2届“设计、验证及测试论坛”(即DVTF2005)。届时NI诚邀行业内外相关领域的多家优秀企业,如英特尔、科梁科技等公司共同参与,为广大技术人员提供一个绝佳的学习与交流平台。此次论坛将分为热点技术专题与实时应用专题同时进行。热点技术专题为设计、测试以及自动化行业的软/硬件工程师,以及希望学习测试测量行业发展趋势和最新技术的专业人士而度身定制,包括:最新总线标准PCI Express,了解如何运用这一技术来减少测试工作的时间,并解决新的应用问题;运用Microsoft…     

面向SOC系统设计的层次化CDFG的扩展

本文主要介绍了层次化CDFG中标准控制结构和并行结构的扩充及转换方法,从而为在高层次 SOC设计中真正使用HCDFG提供了基础。同时,文中还给出了HCDFG在系统验证中的作用,它为不同方法的混合验证提供了统一而有效的内部结构。     

用Xerces-J进行基于XML Schema的XML局部验证

XML验证，特别是局部验证，是XML应用中的一个关键问题．调研分析了Xerces—J2工具包中的基于XML Schema的XML解析、验证体系，它是一种延迟的整体验证．利用Xerces—J2，设计实现了基于XML Schema的XML局部验证接口，包括类型检查和ID约束检查等．     

一种基于无状态连接请求验证的SYN湮没攻击防御方法

已有SYN湮没攻击检测防御技术存在一个共性缺陷，就是在验证连接请求有效前分配一定的系统资源保存连接状态，基于无状态连接请求验证的方法可以有效地解决这一问题，但已有的方法存在验证有效后无法完整建立TCP连接、通讯双方状态不一致等问题．本文提出一种新的基于无状态连接请求验证的网关级SYN湮没攻击防御方法，该方法在解决已有问题并兼容现有TCP／IP协议栈实现的基础上，可实现对不同操作系统SYN湮没攻击的有效防御．