国家自然科学基金(60850002) 作品数:10 被引量:19 H指数:3 相关作者: 张功萱 高觐悦 宋斌 缪勇 陈瀚 更多>> 相关机构: 南京理工大学 苏州市职业大学 扬州环境资源职业技术学院 更多>> 发文基金: 国家自然科学基金 国家高技术研究发展计划 国家教育部博士点基金 更多>> 相关领域: 自动化与计算机技术 更多>>
一种基于随机网格简化的Web可靠性分析方法研究 被引量:2 2013年 针对当求解大规模Web服务组合可靠性分析的问题时,建立的广义随机网格模型往往会遇到评估过程过于复杂的状况,造成评估分析结果不准确的问题,提出一种基于随机网格简化的Web可靠性分析方法。通过简化Web搜索过程中的网格,通过模型的公平分解,完成随机网格的基本结构的化简,保证可靠性分析的准确性。实验结果表明,在加入了网格简化方法后的Web状态空间复杂程度大幅降低,可靠性分析准确性提高效果明显,证明所提出的设计方法具有一定的优势。 高觐悦关键词:WEB网络 可靠性评估 基于MVC模式的AOP访问控制技术研究 被引量:2 2010年 对基于MVC模式的J2EE应用访问控制进行了研究,提出一种基于MVC模式的AOP访问控制框架MAACF,给出框架的功能结构,介绍访问控制横切关注点的设计与实现,构建出一种应用MAACF的J2EE架构.系统运行结果表明,MAACF有效提高了分布式企业级应用的安全标准. 高觐悦 张功萱关键词:面向方面编程 访问控制 移动存储信息的信任链动态跟踪技术研究 针对黑客们编写的恶意程序渗透计算机网络、影响移动存储设备的驱动程序,从而盗取移动存储设备信息等问题,利用可信计算思想和嵌入式技术,构建了可信的异构双处理系统平台,研究并设计了移动存储设备——U盘——信任链的动态跟踪技术.... 张功萱 沈创业 王平立 王玲关键词:可信计算 嵌入式技术 信任根 文献传递 移动存储信息的信任链动态跟踪技术研究 被引量:3 2011年 针对黑客们编写的恶意程序渗透计算机网络、影响移动存储设备的驱动程序,从而盗取移动存储设备信息等问题,利用可信计算思想和嵌入式技术,构建了可信的异构双处理系统平台,研究并设计了移动存储设备——U盘——信任链的动态跟踪技术.提出了移动存储设备的信任链跟踪的方案,给出了可信度量方法,设计并实现了审计信息记录、不可信移动存储设备分级管理、可信边界条件判断等功能模块.同时,在信任根可信的前提下,给出并实现了移动存储设备访问控制及可信计算策略.实验结果表明方案合理有效,能够实现移动存储信息的可信链动态跟踪. 张功萱 沈创业 王平立 王玲关键词:可信计算 嵌入式技术 信任根 基于工作流的Web服务框架的研究 2010年 在研究基于工作流Web服务和语义Web服务的基础上,结合BPEL工作流和OWL-S的相关标准,设计和实现了一种基于工作流/语义的Web服务框架SABWS.该框架实现了Web服务层、BPEL工作流层和语义层的三层结构,并且实现了服务优化同执行的分离,在服务的匹配、组合和执行等方面都具有广阔的发展前景. 高觐悦 沈学玮 张功萱关键词:工作流 WEB服务 基于UDDI的语义Web服务匹配算法的研究 被引量:3 2009年 随着Web的迅猛发展,为了实现Web服务给应用开发者和服务使用者所带来的益处,必须要有一个合适的服务发现机制来支持Web服务,UDDI(Universal Description Discovery and Integra-tion)技术是解决这一问题的方案之一。本文对基于UDDI的语义Web服务匹配算法进行了研究,将语义Web和Web服务发现相结合,提出了一种基于语义的Web服务发现匹配算法,该算法采用多层过滤的思想,较好地实现了服务与请求间的快速匹配。 高觐悦 张功萱关键词:语义WEB UDDI 基于SOA的Web应用中服务补偿的研究与实现 被引量:1 2011年 从SOA的核心概念——"服务"出发,详细论述了面向服务的概念和Web服务在应用整合过程中所起的作用,实现了一个完整、灵活的SOA整合构架。在服务流程的事务处理方面,采取补偿的方式对服务流程进行事务处理,详述补偿服务的具体实现方法,并在补偿服务中实现了对服务质量的测定。 高觐悦 黄斐 张功萱关键词:面向服务构架 WEB服务 事务 可信软件代码中程序标注的使用及类型验证 2010年 程序标注技术能够勾勒程序代码中的各种数据属性和软件行为,提出了使用许可类型系统作为沟通程序标注和程序代码的桥梁,从程序代码的角度分析和验证了程序的安全性,进而提升了整个软件系统的可靠性和可维护性。 赵洋 徐晓刚 张功萱 张容基于FTP和消息机制的跨平台系统自动更新研究 被引量:3 2010年 应用系统往往在测试完成之前就需要投入试运行,其间需经过开发人员的多次修改,尤其对于大型的C/S系统而言,更新软件版本的工作量既繁琐又乏味。实现系统的自动更新可以极大地简化软件安装的过程。介绍了某仪器设备管理系统开发过程中应用的一种基于FTP和消息机制的跨平台应用程序版本检查和更新方法的工作原理和流程,并详细介绍了实现方法。 张功萱 陈瀚关键词:FTP 批处理 跨平台 消息队列 可信计算机平台密钥管理 被引量:2 2010年 针对纯软件安全防护的不足,提出了遵循可信计算技术及国家可信密码模块(TCM)接口规范的嵌入式可信安全模型(ETSM)可信计算平台框架。围绕着可信计算核心内容-密钥管理方法,提出了基于ETSM的密钥管理体系结构,将密码算法(或密码引擎)、密钥管理功能、随机密钥的生成等植入到ETSM硬件环境。设计并实现了ETSM密钥管理体系结构中基本的管理功能,给出了双端口密钥缓存管理、外部密钥存储管理方案。独立的ETSM模块与PC主机构成了异构双处理系统,PC主机通过PCI接口与ETSM快速通讯,完成对敏感数据或文件的加解密任务,并将相关的密钥保存到ETSM的非易失性存储器,以保证加密后数据的安全性,提高了本异构系统的可信性,满足了可信计算平台完整性和安全性的要求。 李新明 张功萱 施超 宋斌关键词:可信计算 密钥管理