分布式安全审计模型的研究与系统设计

分布式安全审计正在日益成为保障大型分布式网络环境安全的重要机制。该文介绍了当前分布式安全审计系统的研究现状,分析和归纳了现有研究在协同审计等方面存在的突出问题,根据知识协同思想设计基于行为特征描述的分布式安全审计模型。给出系统结构设计和应用场景,验证了模型的有效性。     

基于偏序简化的并发系统验证

构件交互风格和交互协议的描述与验证是基于构件的分布式系统开发的基础和关键,而构件交互协议是一种典型的分布式并发系统.传统的方法难以解决系统建模和验证中的所谓的状态爆炸问题.偏序简化是应用迹的概念,对模型进行化简并且对模型进行死锁验证.但这样的验证重点放在了Petri网模型上,而没有涉及进程代数模型,所验证的只是模型是否有死锁状态.而以通信系统演算CCS为代表的进程代数,因其概念简洁,可用的数学工具丰富,在分布式并发系统的规范、分析、设计和验证方面获得了广泛应用.对此,提出将偏序规约应用于进程代数模型,给出基于进程代数模型的偏序简化算法,并提出利用进程代数模型偏序简化算法来验证安全性的方法.     

RMI分布式技术在气象信息处理系统中的应用

该文阐述了气象信息处理系统应用的必要性,论述了RMI在分布式系统中实现远程方法调用的优越性,并对RMI技术的工作原理进行了介绍,详细叙述了如何在气象信息处理系统中创建一个RMI应用。     

基于ASP．NET的入党积极分子管理系统的设计与研究

随着党员培养工作量的不断增多,传统的管理工作方式越来越让人吃力。随着计算机技术和网络技术的迅速发展．入党积极分子发展管理可以通过开发高效的基于ASP．NET的管理系统来进行管理,该文探讨了C／S模式和的B／S模式相结合的三层体系结构,采用ASP（Microsoft Active Server Pages）动态网页编程技术,应用Access型后台数据库设计动态网站的方法和过程。     

基于D3S的分布式系统监控技术

调试或测试分布式系统是一项重大的挑战。文中,作者在D3S系统架构上实现了一个针对分布式系统的运行时监控系统。介绍了该监控系统的框架与实现,以及涉及到的相关理论背景,并给出了案例分析和系统的性能分析。整个分布式系统的运行被建模成一系列带全局时间戳的一致性快照。监控系统采用LTL作为系统规约的描述语言,并且使用有限自动机判定在一条有限路径上某个LTL公式是否被满足。     

基于多主体的信息安全管理系统研究与设计

采用多主体技术构建信息安全管理系统可有效解决传统信息安全管理系统存在的缺陷.鉴于此,构建了一种基于多主体的动态分布式信息安全管理系统,该系统动态集成了大部分分布式信息安全管理工具,能以协同的方法最大程度地提高信息安全管理系统的能力.采用了多种攻击方式来验证本文系统的性能,实验结果表明了该系统是有效的.     

多网卡bonding技术在无线广告系统中的应用

简单地介绍了多网卡链路绑定策略,重点讨论了Linux下的bonding技术及其基于bonding技术的几种负载均衡算法。给出了无线多媒体广告系统的主要架构,分析了负载均衡算法的差异性及适用情况,给出了MAC地址异或算法在该系统中的应用实现,并做了相关测试,测试结果表明该方案成功地解决了本系统的网络瓶颈。     

基于NET架构的分布式系统研究

传统的分布式系统对象模式无法满足在复杂环境中不断增长的各种需求,利用先进的．NET技术精髓,可以有效地解决系统的安全性、响应性、伸缩性的问题。将应用逻辑以Web方式暴露给客户,将其他逻辑按照分布式系统的模式进行分层,从而有效地控制系统的复杂度。     

改进NS2对局域网分布式系统在线仿真的实现

目前大多数仿真系统采用流量发生器等模拟l离散事件的发生,为了充分模拟网络环境中分布式系统各子系统的并发运行和彼此之间依据算法的实时交互,设有虚拟局域网VLAN的IEEE802.1Q协议。提出一种改进NS2模拟局域网分布式系统实际运行的在线仿真的集成方法,将各分布式应用对象移植为NS2的C++扩展对象,执行实际算法,构造一个模拟中心调度对象,管理各分布式对象的并发运行、转发各分布式对象之间的消息交给NS2以模拟其网络延迟,与领域仿真软件交换数据等。对NS2中共享式以太网协议模块改造,添加VLAN802.1Q协议模块,分别实现对交换式局域网和多播报文的模拟。变电站自动化系统的通信网络仿真实验结果,验证了在线仿真方法是有效的、所扩展的NS2模块是正确的。     

基于动态探针的分布式死锁预防策略

数据库系统中事务死锁的检测和预防,对提高系统并发性和整体性能具有重要意义。在研究了现有的分布式数据库系统死锁预防策略的基础上,利用创建动态探针(DP)技术,提出了一种改进的死锁预防策略。该DP方法在创建探针后将其发往可能产生死锁的节点,接收到探针后,根据节点信息与探针所包含信息的比较结果,可以判断是否有死锁发生,从而达到预防死锁的目的。分析表明,该方法提高了死锁预防的有效性和系统资源的利用率。