摘要：针对目前Python教学中“以C语言知识解释Python语法”的倾向及其所导致的一些基本概念错误,回顾“软件危机”发生以来人们在“去变量赋值”副作用和函数式编程两个方面的努力,从不变性原则的高度阐述这些举措对于提高程序质量的意义,在此基础上提出Python程序设计语言的亮点并强调对于回归Python本质的重要性,目的是为进一步学习和应用打下坚实基础。

摘要：针对目前电子取证入侵重构多用人工分析的方式导致效率低的问题,将AI领域中加权模糊推理方法引入电子取证入侵重构分析中,建立了基于加权模糊推理的电子取证入侵重构专家系统,该系统采用预先定义好的入侵特征,与取证现场获取的入侵痕迹相匹配,并结合相应的权值来推断实际可能的攻击场景。

摘要：针对目前电子取证入侵重构多用事后分析的方式导致分析信息不完整的问题,定义入侵事件的形式化描述和黑客攻击场景的表示,将事件关联方法引入电子取证入侵重构分析中,建立了事件关联的动态实时电子取证入侵重构系统,该系统预先了因果关联表,找出事件间的因果关联度,并消除它们的冗余关系,来获得入侵过程图。最后,通过一个实例来说明通过关联部分攻击片断来构建一个完整的攻击场景的过程。

摘要：权限管理设施(privilege management infrastructure,PMI),它为用户提供授权访问控制等方面的管理。针对匿名访问,提出了一种适用于Web/电子商务环境下的基于PMI的匿名授权体系,在此体系中采用匿名属性证书(AAC)授权链。用户完全信任PMI的属性权威AA,以单次授权密钥(OTAK)替换用户认证密钥来标识用户,并提供密钥匿名性撤销管理。

摘要：分布式拒绝服务(DDoS)攻击严重威胁网络的安全性。需要有合适的模型来刻画DDoS攻击的行为特征,指导DDoS攻击的分析、检测和防御。使用攻击树对分布式拒绝攻击进行建模,并引入Object_Z语言对具体攻击模式进行了面向对象的形式化描述。分布式拒绝服务攻击的攻击树模型可以刻画出分布式拒绝服务攻击的本质特征,对其具体子类的形式化描述又可以降低构造攻击模型的复杂度,从而易于使用,分析和维护。

摘要：CORBA是一个面向组件的分布式系统规范,为基于组件的应用软件提供运行环境和各种服务,使应用软件能运行于多种硬件和OS平台,也使应用软件的开发可以在分布式环境下进行。该文设计了一个面向应用领域的软件开发集成器,它脱离了源代码的束缚,利用集成的CORBA功能和服务,使应用软件开发直接在组件的层次上进行,使面向领域的软件开发更加方便、简单,而组件的可视化和可拖动性使组件的柔性联接更加直观,为领域应用人员调整和重组应用软件提供方便,是一个真正面向用户的软件集成器。

摘要：在分析计算机动态取证基本原理和Multi-Agent特点的基础上,将Multi-Agent技术应用到计算机取证中,提出了一种基于Multi-Agent的网络入侵动态取证系统结构。该系统在多种Agent的协同工作下能实时、准确和全面地收集入侵证据,再现入侵过程,从而克服了静态取证所存在的实时性差和证据收集困难等缺陷。

摘要：随着工作流管理系统应用规模的不断扩大和应用领域的不断拓展,工作流的动态性、灵活性、个性化成了用户的迫切需求。目前大多数工作流模型基本上是基于“静态”过程定义的,这就不能根据工作流实例的运行状况、运行时相关数据信息而动态地建立模型。提出了工作流柔性模型的定义方法,就是对工作流活动进行wrapper,增加它对运行环境的感知。

摘要：介绍了Web Services中QoS的概念,并且描述了一些关于QoS评价方面的技术和参数,同时,还分析了FCFS算法在延迟公平性和响应服务请求大小公平性方面的缺陷。为了克服这种服务质量不高、服务效果不好的情况,引出了将优先级算法和按比例分配延迟算法相结合的方法,同时,探讨了优先级划分方面要注意的一些问题。最后,证明了该算法在克服FCFS算法在延迟公平和服务请求大小区分方面不足的有效性。

摘要：Web服务中的提供者需要使用各种系统资源来满足客户的要求,请求者要求一定QoS(Quality of Service)的服务。对于提供者来说,怎样选择请求服务,才能在有限的资源下,既保证请求者要求的QoS,又实现系统资源性能最优,而对于请求者来说,怎样才能选择出最满意的提供者,在Web服务的广泛应用中,都是急需解决的问题。文中简要介绍了双向选择的系统模型(Bidirectional Selection-Serv),详细分析了提供者使用多维背包算法,请求者使用需要等待时间原则,来达到双方期望的要求,提高Web服务选择的有效性。