基于AOP的安全程序设计

软件规模的不断扩大、结构的日益复杂,给软件代码的安全性提出了更高的要求.AOP作为一种全新的编程思想,从编程方法学的角度提供了一种安全程序设计的方法.利用AOP技术,可将程序中的安全代码抽象成为单独模块,并可灵活使用各种安全策略,然后通过联结将安全代码作用于所有相关核心组件,由此大大提高了安全模块的重用性和程序的安全性.文章介绍了AOP的核心思想,探讨了基于AOP安全程序设计的基本方法,最后通过对程序实例的比较,分析了AOP安全程序设计的特点.     

对称式面向方面软件体系结构动态演化研究

提出了一种对称式的面向方面体系结构模型（SAOSA）,该模型将系统的功能模块、非功能模块都封装成了方面,编织这些方面构成软件体系结构中的构件、连接件.从抽象层次和实现层次出发,SAOSA模型的演化能力包括类型演化和动态重配置两种,结合一个ATM系统实例说明了SAOSA模型的动态演化机制.     

基于BPEIAWS的新型电信业务创建方法

采用基于万维网服务的业务过程执行语言（BPEL4WS）的方法开发新型环境下的电信业务，试图解决电信业务开发难度大、周期长的问题。首先针对电信业务的特点指出了BPEL4WS的不足，然后提出采用面向方面编程（AOP）的方法解决了其中的模块化和动态扩展的问题并给出了系统的架构和实现方法，最后实验结果证明该方法的可行性。     

一种基于Object-Z的面向方面建模方法

提出一种基于Object-Z的形式化面向方面建模语言及其建模方法。方面规范提供了观察基本模块和方面模块的行为、描述它们相互关系的手段,编织机制将两类模块系统地集成为一个完整的系统模型。该方法能有效地简化系统建模,提高系统模型的可复用性,也为进一步验证系统性质提供了理论基础。     

嵌入式实时数据库面向方面的QoS探讨

随着实时系统广泛应用，系统的性能问题变得非常重要。目前，实时系统中的QoS管理是用反馈控制循环，一般不支持可重用性和可配置性，为了解决这些问题，提出了一个独立于应用、领域和系统的可配置的QoS的管理方法，可称为Re—QoS。本文就实时数据库的Re—QoS进行了探讨。     

基于MVC模式的AOP访问控制技术研究

对基于MVC模式的J2EE应用访问控制进行了研究,提出一种基于MVC模式的AOP访问控制框架MAACF,给出框架的功能结构,介绍访问控制横切关注点的设计与实现,构建出一种应用MAACF的J2EE架构.系统运行结果表明,MAACF有效提高了分布式企业级应用的安全标准.     

基于SystemC描述的嵌入式系统的自动化验证

基于SystemC的嵌入式系统描述 ,提出了一种全新的自动化验证方法 .该方法采用面向方面编程技术、分离和封装测试代码 ,结合自动化测试框架 ,完成对系统的自动化验证 .此验证方法对被测系统无扰动 ,能适应测试要求的灵活变化 ,对嵌入式系统模型可自动、重复地测试 ,能够满足系统级模型快速验证和评估的要求 .     

基于AOSD的应用系统开发研究

面向对象的软件开发方法在优化软件开发的同时仍然存在大量的横切问题,研究表明,运用面向方面的软件分析和设计方法(AOSD)开发可以很好的解决横切问题,模块的内聚性得到加强,同时使系统的并行开发得以实现,在面向方面编程(AOP)的基础上,结合ATM系统对AOSD进行了研究.     

面向方面编程研究

面向方面的程序设计是一种很有前途的程序设计方法,是面向对象方法的进一步发展,当前已经成为一种比较成熟的编程思想。该方法通过引入方面概念,改进关注点的分离,很好的解决应用系统中分布于各个模块的交叉关注点问题。     

面向服务的云设计安全数据交换

针对云设计与制造环境下的协同设计CAD模型安全共享问题,提出了一个基于服务的安全特征数据交换方法.使用基于模型变形的方法,改变特征模型建模参数,实现对模型敏感信息的加密隐藏;使用直接特征数据交换方法实现异构CAD系统间的参数化建模数据交换;最后,采用面向服务的架构,将特征CAD模型数据交换与安全保护方法以云端服务的形式提供给协同设计成员,并引入访问及授权控制机制确保服务为合法授权用户使用.实验结果证明了该思路的合理性及方法的有效性,可为云设计与制造提供灵活、高效、可扩展的安全数据交换解决方案.     

一种基于UML的面向方面模块动态特性编织方法

在面向方面软件开发Theme方法的基础上引入用例驱动技术,其中用例技术实现软件模块化,面向方面技术封装横切关注点,从而形成一种用例驱动的面向方面软件开发(UCD/Theme)方法。通过分析面向方面模块的动态特性在编织过程中可能产生的冲突,提出了一种扩展UML的面向方面模块动态特性编织时的冲突解决方法。通过ATM案例说明了该方法的应用。     

基于演化涌现的复杂信息网络设计优化

 针对复杂信息网络设计优化问题,分析了复杂信息网络特性,提出了基于演化涌现的复杂信息网络设计优化方法和拓扑结构演化模型。该设计优化方法以融贯论为指导,采用系统分析、建模分析和仿真分析相结合技术途径对复杂信息网络设计优化问题进行多尺度研究,树立基于网络化思维的安全观,突出网络拓扑结构设计,强化网络可控性、安全性和健壮性,体现局域结构演化形成功能整体涌现。拓扑结构演化模型综合选取网络建设成本、时延、健壮性和吞吐量等网络工程特征参数作为网络演化动力,通过调整参数权重生成优化网络。对实测ISP路由器级网络数据的仿真实验表明,方法模型具有可行性、有效性和扩展性,可加深对复杂信息网络动力学行为认识,促进信息网络科学发展。     

电力系统暂态稳定安全域估计

本文以电力系统经典模型为基础,推导出了电力系统暂态稳定安全域的解析表达式,并提出了基于混合方法的发电机暂稳输出功率极限计算方法及快速求解该安全域的算法.算例表明,该暂态稳定安全域简单直观,计算快速.     

CO_2管道运输系统鲁棒优化设计

CO_2管道运输系统是碳捕集、利用与封存(CCUS)技术的重要环节.将线性鲁棒优化方法应用于CO_2管道运输费用设计,建立其鲁棒优化模型,解决了管道运输系统不确定性优化问题,使优化结果更为合理.提出的方法合理配置了管道入口压力、管道内径、壁厚、中间泵站数量,降低了CO_2运输费用.仿真结果表明,与现有优化设计方法相比,运输系统鲁棒优化方法具有较强的适应能力,为管道安全运输提供了保障.     

生态安全约束下城市群空间网络结构动态演变及关联特征分析——以环鄱阳湖城市群为例

基于景观生态安全理论和引力模型,探讨生态安全约束下的城市群空间网络结构动态演变及关联特征,不仅能为城市群空间网络结构优化提供新视角,而且可为促进城市群可持续发展提供科学依据.以环鄱阳湖城市群为研究区,将景观结构安全指数与生态系统服务价值相结合来构建生态安全指数,并引入到改进的引力模型中,对研究区空间网络结构动态演变及关联特征进行定量测度与分析.结果表明：1) 2005年-2015年环鄱阳湖城市群整体生态安全度有所降低,部分区域经历了由高生态安全度向低生态安全度的转化,生态风险提升;2) 在不考虑生态安全约束情形下,整个研究期间南昌市区始终处于核心地位,“核心-边缘”结构明显,城市空间网络结构变化呈松散趋势.在生态安全约束下,研究区多中心网络结构特征逐渐凸显,城市群空间网络结构发育程度逐步走向成熟,向协同方向优化;3) 在不考虑生态安全约束情形下,多数城市关联强度低且处于稳定的均质状态,形成以南昌市区为首位关联城市的单核心特征.在生态安全约束下,城市群空间网络关联整体呈现异速非均衡特征,并形成以南昌市区、九江市区、抚州市区和景德镇市区为首位关联城市的多中心发展模式.可见,结合生态安全指数的引力模型能有效测度生态安全约束下的城市群空间网络结构动态演变及关联特征,可为环鄱阳湖城市群可持续发展提供参考.     

Adaptive Trust Management Framework in P2P Grid Computing

In P2P Grid computing systems, the authorization decision is often tackled by two different trust management methods： policy-based approach, where authorization are built on logical rules and verifiable properties encoded in signed credentials, and reputation-based approach, based on collecting, aggregating and disseminating reputation among the peers. However, the overhead caused by proof of compliance on authorization and the absence of certifying authorities may negate the strong and objective security advantages of policy-based approach, whilst vagueness, complexity and inaccurate characterization caused by reputation evolution may eliminate the quantitative and flexible advantages of reputation-based approach. We propose an adaptive trust management framework, which combines the merit of policy proof and reputation evolution such that authorization is aware of not only the strong and objective security traits, but also the calculability and the availability security traits. Finally, the framework of system is proposed.     

Anomaly-based model for detecting HTTP-tunnel traffic using network behavior analysis

Increasing time-spent online has amplified users＇ exposure to tile tilreat oI miormanon leakage. Although existing security systems （such as firewalls and intrusion detection systems） can satisfy most of the security requirements of network administrators, they are not suitable for detecting the activities of applying the HTTP-tunnel technique to steal users＇ private information. This paper focuses on a network behavior-based method to address the limitations of the existing protection systems. At first, it analyzes the normal network behavior pattern over HTI＇P traffic and select four features. Then, it pres- ents an anomaly-based detection model that applies a hierarchical clustering technique and a scoring mechanism. It also uses real-world data to validate that the selected features are useful. The experiments have demonstrated that the model could achieve over 93% hit-rate with only about 3% false- positive rate. It is regarded confidently that the approach is a complementary technique to the existing security systems.     

基于特定域建模方法的航空发动机MBSE实施方法

 提出一种基于模型系统工程（MBSE）的方法,将基于系统工程航空发动机系统的研发与基于模型的研发有效结合起来：采用系统思维方法对航空发动机需求、架构及验证进行形式化表达,并采用特定域建模方法与代码生成方法实现发动机验证模型的自动生成及验证。该方法通过元元模型对航空发动机的需求、架构及验证进行元模型建模,将用于描述航空发动机研发流程的特定域模型分为3个视图,并根据不同视图实现航空发动机研发过程的信息描述。通过开发代码生成器实现航空发动机验证模型自动生成的过程,实现航空发动机验证模型的自动验证和确认。以某型航空发动机为例,验证了所提方法的有效性。     

基于自定义主体和身份的窗体验证

综合了数据库技术、面向对象设计技术、操作系统权限管理、NET框架中基于代码访问安全性和基于角色访问安全性等多方面技术，提出采用自定义主体Principal和身份Identity实现基于窗体的验证思想，构建了一个灵活方便的安全权限管理系统。该系统可以用于多数WEB系统中，作为通用的安全权限管理模块。     

以Struts框架构建Web系统的安全性设计

Struts是基于Servlet,Jsp以及标签库技术的一个实现良好的MVC框架,可以更快的利用MVC理论进行Web系统的设计和开发,对于任何一个完善的Web系统来说,安全性设计都是一项重要的内容,文章介绍了Struts框架,以及在该框架下实现的Web系统中,如何实现安全性设计.