基于角色访问控制对象建模及实现

目前多数访问控制主要解决应用后台的数据保护问题 ,不适合大型复杂的多用户分布式应用 .已有的基于角色访问控制模型忽视了激活角色的动态性质 .对象技术已成为应用系统开发的主流方法 ,但仍缺乏一种通用的访问控制机制 .针对大型应用的安全性设计特点 ,文中提供一个一般性的基于角色实现访问控制的对象式模型 ,提出角色登台 (Role- Playing)以实现特定语境中激活角色的动态特征 .针对分布式交互式应用的控制效率问题 ,给出该模型的一种实现 。

GeGeM:一种人工免疫系统通用基因模型及实现

一个通用的基因模型对于人工免疫系统AIS(ArtificialImmuneSystem)软件设计是必需的。从AIS软件架构设计的角度出发,基因模型应具有一般性、可扩展性、高效率和可用性。提出一个基因模型GeGeM(GeneralGeneModel),通过基因操作实现免疫计算。该模型基于三层结构:元基因、基因序列和基因数据集。其中元基因提供基因序列的规范,基因序列提供基本的公共的基因操作,而基因数据集在此基础上实现训练和检测。进一步,该模型实现并给出实验结果,结果分析表明该模型的可用性和算法的有效性。经讨论比较,该模型具有一般性和可扩展性,可用于建立多用途的AIS软件,也可用于构建特定领域的复杂多样的检测系统。

Web应用开发中的动态页面建模技术

Web应用日趋复杂,动态页面是复杂性主要来源。文章研究Web应用中各种动态页面性质,分析其复杂性因素。针对其建模问题,探讨用例和动态页面之间的关系,为Web应用开发人员提供一种用例驱动的、符合UML规范的建模方法,并给出实例说明。

一种高效可靠的对象访问控制模型

大型分布式系统不仅类的数量大、结构复杂、分布范围广,而且用户多、职责多样、不同职责的用户对于不同的类及其对象乃至对象中不同的属性都可能具有不同的访问控制权限。此外,既有用户的访问控制,还需顾及其它系统对本系统的访问控制。因此信息系统中设计一个协调高效的访问控制是保证系统安全可靠运行的一个重要问题。

编程语言教学实践中QDeV方法探讨

针对当前编程语言教学实践过程中出现的问题，本文探讨一种新的教学实践方法QDeV，该方法的特色是质疑驱动、以验证性设计为核心、个性化和实践性。

极限编程中结对编程的不良现象分析及对策

结对编程是极限编程的特色实践之一。在极限编程活动中,对于中国学生,结对编程是组织难度最大的活动。为了更有效地组织结对编程,文章分析以往团队成员所出现的一些不良现象,并探讨可行对策,为大学软件实践教学和软件业者从事极限编程提供参考和指导。

扩展Java元模型以实现诠释的可视化建模

诠释(annotation)是Java SE5引入的一种新的编程语言成分,目前得到广泛关注。但从可视化建模来看,已有的Java元模型和UML2元模型并不支持诠释规范,这导致诠释的语义特征在高层抽象中难以体现,也不能实现诠释的可视化、规范化建模。本文扩展已有的Java元模型,以支持诠释的可视化建模。文章提出了诠释的4个重要特征,添加了3个元类以扩展Java元模型,使其能反映诠释特征,并给出2个图符以支持诠释的可视化建模。新的Java元模型符合MOF规范,设计简单,方便实现以支持MDA及相关工具的开发。

ReCOPE:一种工作流驱动的Web构件通用设计模式

Web构件开发是一项重要而繁杂的工作,需要简单通用的设计模式来指导开发。已有模式大多局限于特定平台的结构,缺少一般性的行为模式。文章从行为建模的角度,提出一种工作流驱动的通用的设计模式:ReCOPE。该模式简单灵活且健壮,适用于多种Web结构,简化了设计复杂性,有希望能适应将来基于XML的Web计算。

语境判定树建模与工作流设计验证

针对多角色协同交互式工作流系统中多重语境约束交互操作导致冗余操作和错误操作的问题,提出语境判定树CDT模型。采用元模型建模方法给出CDT建模规范,利用令牌建立动态计算规则,并讨论比较CDT和其他模型的特点,分析语境判定树模型的优势。实例分析表明,该模型能够满足安全性验证需求,具有良好的规范性、适用性和可扩展性。

敏捷软件开发课程评价指标体系及应用

针对敏捷软件开发课程的评价指标问题,对引进的评价指标体系进行改进并给出应用实例。通过实例分析,该评价指标体系不仅能指明教学内容和实践的基本方向,而且能定量分析每一种敏捷能力的变化,有效评价教学效果,精准分析优势与缺陷,从而指导和改进教学实践。

一个适应性的人工免疫系统的软件构架

适应性是人工免疫系统(AIS,Artificial I mmune System)的重要特性之一。在AIS软件开发应用中,数据源的进化和学习算法的进化是两个有复杂关联的适应性问题。为此我们扩展并改进了已有的AIS构架,提出一个新的适应性软件构架。该构架以基因计算为中心,扩展了元基因来适应数据源的进化,并设计了可接入学习算法构件和算法验证机制来解决算法进化的适应性问题。在该构架支持下,数据源的进化独立于学习算法的设计,同时使学习算法能适用于多种数据源且能独立进化。该构架可简化AIS软件的复杂性,可提高AIS开发应用的效率,也有助于实现将来的自适应的免疫计算。

基于蕴含关系的场景测试法路径优化方法研究

针对场景测试法中多场景切换代价优化问题,在复合状态分析、逻辑蕴含概念基础上,从测试场景结构分解的角度,给出状态蕴含和场景蕴含关系的定义及推论,由场景蕴含形成场景蕴含图SIG,然后采用图论方法求解优化路径。给出系统化处理方法,并与其他方法比较。最后实例验证该方法的有效性。

数据库应用开发中复合式接口的安全设计

数据库应用开发中接口设计影响整个系统的安全性。文章采用STRIDE威胁模型分析了传统的代理式和统一式两种接口设计的安全性缺陷,给出一种新型的复合式接口设计方案,其中采用口令加密提供双重验证,实施强口令管理以增强安全性,并具有灵活性,且能满足多样性的安全设计要求。

编程语言教学实践中渐增式验证序列IVS探讨

本文针对当前编程语言教学实践过程中出现的问题，以QDeV过程为基础，结合迭代式、渐增式开发和软件重构的思想，尝试一种渐增式验证序列IVS方法。

OMT 功能模型的改进及实例分析

该文提出了将对象交互图和ＣＲＣ技术相结合来表示对象建模技术（ＯＭＴ）中的功能模型。原ＯＭＴ中的功能模型采用数据流图（ＤＦＤ）表示。在改进的功能模型中，采用对象交互图表示对象的操作过程中对象之间的交互协作关系及活动和动作序列，用ＣＲＣ技术确认对象之间“责任－合作者”的关系，并以实例说明了新的功能模型的应用。

Web语境敏感页面分层设计实现方法

语境context也称为上下文。针对Web语境敏感页面设计的复杂性问题,遵循EVP原则并借鉴COP,提出一种面向语境风格(COS,Context-Oriented Style)的页面分层语法。给出COS页面转换框架并说明其工作原理。区别于COP语言,COS在当前Web页面标签语言基础上设计了一种层槽语法,采用四元组来描述页面元素的变化,并设计实现一个解释器来实施变化。不同于传统的以元素为中心的页面描述方式,COS特点是语境条件为中心。通过实例验证COS方案简单有效,并具有语境变化适应性,同时增强安全控制的可验证性。

基于Drools与定制标签的Web控件动态控制方法

业务系统中Web页面控件的约束控制条件复杂而且多变,传统的RBAC方法难以实现对细粒度控件的复杂控制。文中提出了一种基于Drools与定制标签的Web控件动态控制方法,该方法将约束控制条件提取到规则文件中,使用定制标签来实现Web控件的细粒度动态控制。

复杂Web系统的模型驱动重构方法研究

大型复杂Web系统在演化过程中出现多种臭味而需重构。在分析重构需求基础上,给出一种模型驱动重构方法。针对Web构件跳转逻辑的重构需求,主张采用协议状态机建模方法,以此建立项目范围的跳转模式并给出推理方法。与传统方法相比,该方法具有可伸缩性、并能保持和增强安全性,适合复杂Web系统的重构。

支持向量机在网络异常入侵检测中的应用

将支持向量机应用于网络入侵检测,提出一种基于支持向量机的网络异常入侵检测模型。实验证明,提出的入侵检测模型具有较高的检测率,对未知攻击的检测精度也很高,说明采用支持向量机技术进行入侵检测的有效性。

基于角色访问控制技术的UML表示

基于角色的访问控制（ＲＢＡＣ）技术随着网络的迅速发展而发展，在ＲＢＡＣ中，角色是重要概念，它根据用户在组织内所处的角色进行访问授权与控制，通过角色沟通主体与客体。该文提出了用可视化标准建模语言ＵＭＬ的类图、用例图和交互图（合作图、顺序图）来描述了 ＲＢＡＣ的相关概念。有效地帮助系统开发人员理解ＲＢＡＣ模型和建立基于角色的系统。