一种基于规范的可信协同系统分析设计框架

针对可信协同系统分析建模与设计问题,提出了RBN-T模型,分析了模型中的可信保障机制及策略.提出了基于RBN-T模型的可信协同系统分析建模过程,以具体的实例说明了RBN-T模型在可信协同系统分析建模与设计上的可用性.RBN-T模型把基于角色的规范管理提升到适合可信协同系统分析建模与设计的层次,从而有利于在协同系统开发的早期阶段就关注可信问题.     

基于IPSec网络协议的VPN测试系统

针对基于IPSec协议的VPN产品的测试问题,设计并实现一个面向基于IPSec协议的运行在Linux上的VPN测试系统。介绍IPSec协议和体系结构,对IPSec协议工作原理进行分析,给出面向IPSec协议VPN测试系统的设计与实现。实验结果表明,该测试方法有效、可行。     

基于ISM的互操作性测试方法

协议测试中的互操作性测试是保证不同厂商通信设备之间能够正确实施互操作的主要工程测试方法。针对互操作性测试过程中缺乏形式化测试框架和测试方法指导而导致无法保证测试可靠性的问题,在介绍ETSI定义的通用互操作性测试模型基础上,提出一个基于互操作性状态机的互操作性测试方法。通过一个面向IPsec VPN的互操作性测试实例表明该方法的有效性和可行性。     

GSM系统合法侦听体系结构研究和设计

在分析了合法侦听原理的基础上分析了合法侦听的接口HI1,HI2,HI3三种不同接口实现不同的功能。HI1主要实现鉴权, HI2主要实现被侦听用户的活动信息传送,HI3则是实现被侦听用户的通信内容的传送。根据三种接口给出了GSM系统的合法侦听体系结构和实现GSM合法侦听的系统模型。     

印刷线路板测试点自动生成系统

本文针对我国印刷板制造行业的特点，提出了一种解决印刷板测试点自动生成的切实可行的设计方案，根据测试点规则，提出行之有效的连通图识别优选算法，实践证明，该方案效果良好。     

基于CMM的项目级软件测试

从CMM的角度分析了项目级软件测试的活动过程，并且讨论了测试用例的编写和各测试阶段的输出。     

基于二次剩余的安全矢量空间秘密共享方案

为了拓展门限结构的秘密共享体制,提出了一个更为广泛的防欺诈的矢量空间秘密共享方案.以防欺诈的门限方案作为锥形,对所共享的秘密进行封装,公开其承诺量,在分发者分发秘密份额时检测共享秘密的正确性,从而防止了恶意分发者散发虚假的份额.利用计算二次剩余的困难性,在恢复秘密时验证各参与者提供份额的有效性,同时杜绝了恶意参与者欺诈的可能性.与同类方案相比,该方案不仅具有最优的信息率,而且花费很小的计算和通信代价.     

基于Bell－La Padula模型的三层B模型

1.引言自1967年美国国防科学委员会提出计算机安全保护问题后,1970年美国国防部(DOD)在国家安全局(NSA)建立了一个计算机安全评估中心(NCSC),开始从事计算机安全评估的研究。1985年底,美国国防部发表了《可信计算机系统评估准则(Trusted Computer System Evaluation Criteria,缩写为TCSEC)》。根据TCSEC的安全评估原则,安全策略的最基本的要求是:如果某人提出获取信息的请求,则他所具备的存取类级别要大于或等于他所欲获取的存取类级别。贝尔-拉帕丢拉(Bell-La Padula)模型(以下简称B模型)是最早被研究的强制访问控制(MAC)模型之一,其发展过程伴随着对信息保密的军事要求,属于强制性存取控制的代表。安全策略中常把多级安全策略的模型与贝尔-拉帕丢拉模型等同视之。     

基于JTAG的ARM调试器实现

随着uClinux应用与普及,移植uClinux和在Linux开发平台上设计嵌入式应用系统都迫切需要好的调试工具,而现有的Windows下的调试工具很难用于Linux系统.将介绍如何在GDB的基础上,低成本实现嵌入式板的JTAG调试.     

逻辑图计算机辅助设计

本文介绍了逻辑图计算机辅助设计,重点论述逻辑图设计接受器,该接受器和自动生成连线表算法结合在一起,在IBM PC机上得以实现。