摘要：给出了一种基于UML对XMLSchema文档进行辅助设计的方法,该方法将设计过程分为3个层次,即概念层、逻辑层和物理层。概念层使用标准的UML类图对对象建模,逻辑层使用自定义的逻辑层UML类图表示,物理层则用最终的XMLSchema文档表示。给出的逻辑层UML类图充分利用了XMLSchema文档的嵌套结构特点,结构清晰简明,经过一系列的转换步骤,可以由概念层的UML类图生成逻辑层UML类图,并最终得到XMLSchema设计。

摘要：分析了分布式信息系统中信息共享的需求和特点,阐述了一个基于移动Agent技术的分布式信息系统平台的设计和构造, 论述了多个互相协作、具有知识和目标的移动Agent在该系统中对分布式信息管理和共享的有效实现。通过应用实例验证了该系统平台为分布式信息系统的实现提供了有效而灵活的应用框架和基础设施,说明了该系统平台因其对移动Agent技术的合理应用而具有的优势。

摘要：基于在软件开发过程中缺乏统一的分离Aspect的标准。本文提出了一种面向Aspect的分析设计方法,采用Theme/Doc与定制UML Profile设计建模相结合,能够清晰地从需求分析中提取Aspect,并能直接从建模元素映射代码,使Aspect从需求到实现的整个开发过程中具有一致性。

摘要：为了增强普适计算环境下实时应用的安全性,建立了安全关键的实时周期任务模型、任务安全开销模型和任务安全风险模型,提出一种安全风险感知的自适应调度算法.该算法依据实时周期任务可调度的本质特性,将调度问题转化为安全风险最小化的多阶段决策过程,并基于近似动态规划策略实现了安全性能确保和低复杂度的调度机制.实验结果表明,该算法可明显降低应用的安全风险,满足应用的安全需求,自适应普适计算的动态变化.

摘要：通过对家电控制器常用MCU体系结构、程序设计语言、常用家电控制程序设计代码以及外设驱动源码的研究,制定了一种应用于智能家电嵌入式软件的框架构件规范,实现了划分和设计框架代码片段,以及对框架代码片段封装的方法;所设计的模型已成功应用于某863项目中。

摘要：在基于访问控制粒度和多维安全拓扑空间的基础上分析了入侵攻击的特点,并提出基于空间扩维特征的入侵检测模型——SEDIDS.为访问控制系统中的实体建立了语义网络模型,用语义网络完备性推理来检测访问控制实体的完整性,作为入侵攻击行为判断的依据,从而取代了依赖训练数据集建立系统访问模式轮廓进行比对的入侵检测传统手段.实验结果表明:该模型相对于传统的入侵检测具有较低的漏报率和误报率,并有较高的运行效率.

摘要：内核rookits攻击对内核的完整性构成致命威胁,因此对内核rootkits防护是内核完整性保护的重点。当前研究主要侧重于内核rootkits探测和防护,不足之处在于:1)rootkits防护存在单一保护模式;2)内核rootkits探测只能做探测使用,即便发现内核已经受到攻击,也无能为力。鉴于这种情况,该文设计了一种内核完整性保护方法,采用安全认证保护和探测恢复两种方式(TWPos)保护操作系统,同时具备探测和防护能力,即便内核受到攻击也能进行恢复。实验表明,TWPos系统既能全面有效的防护,而且又不牺牲系统性能,并且兼容多种OS系统。

摘要：在不泄露各自私有信息的前提下,一组互不信任的参与者进行的多方合作计算叫做安全多方计算(secure multi-party computation,SMC)。而安全交集计算是安全多方计算一个重要的子问题,它主要解决如何通过协同计算求得交集并保证隐私安全的问题,该问题在社交网络、军事、商业领域有重要的应用前景。针对目前交集计算方法效率低下和计算复杂的特点,该文设计了一种高效安全的交集计算协议,该协议通过把集合中的每一个元素转换成平面空间中的点,再利用点与点的距离关系求得交集。最后通过仿真实验验证了协议的正确性、安全性和复杂性。

摘要：针对移动终端的特点,结合汉字组件技术以及矢量笔画字体提出一种字库存储结构,并针对笔画字体提出一种轮廓化算法.在字库中将汉字信息分为索引、汉字结构信息、汉字组件矢量数据信息3个部分来存储,具有占用空间小、合成速度快的优点,解决了以往汉字组件字体失真的问题.轮廓化算法根据笔画线段信息,只需遍历一次就可完成多边形轮廓的确定,且其中优化了生成的多边形顶点数量,考虑了遍历过程中的异常情况,降低了渲染负担.该算法也可经过少许改动成为通用的描边算法.在移动终端上进行实验的结果表明,使用该字库及相应轮廓化算法取得了良好的效果.

摘要：由于移动P2P网络的动态多变以及移动用户的频繁移动,以合作为基础的移动agent所携带的路由信息是不确定的,非实时的、模糊的.同时,这种交互得到的间接路由信息,更加具有不完整性甚至欺骗性.通过进行移动agent合作模型的设计和移动agent所携带路由信息的模糊知识处理的研究,并利用模糊知识处理方法学的支持,提出了一种从移动agent所携带的模糊知识中分析和过滤出较准确和有价值路由数据的算法,在模糊的路由知识中找到能如实反映网络的路由信息,以此提供移动节点以及移动agent使用.通过实验仿真证明,该算法有效减小了平均端到端时延和路由开销,增加了分组投递率和建立连接的移动节点数目.同时,可以较好处理移动agent中模糊的路由信息,对路由策略性能有较大的提高.