-
题名监控使能的分布式软件系统构造方法
被引量：11
- 1
-
-
作者
刘东红
郭长国
王怀民
王涛
-
机构
国防科学技术大学计算机学院
中国电子设备系统工程公司
-
出处
《软件学报》
EI
CSCD
北大核心
2011年第11期2610-2624,共15页
-
基金
国家自然科学基金(90818028)
国家高技术研究发展计划(863)(2007AA010301)
-
文摘
针对开放的网络环境中大型分布式软件的调试、调优、维护和可信演化问题,提出了伴随式的监控使能分布式软件构造方法.基于发布/订阅的分布计算模型,提出了被监控对象的业务逻辑和监控逻辑分离的运行时体系结构;基于面向方面编程思想,提出了监控使能的分布式软件开发方法和工具,降低了监控实施代价,增强了代码的可维护性;基于运行时体系结构,提出了监控系统的动态可定制部署方法.监控使能的分布式软件构造方法能够在开发时控制功能代码和非功能代码的纠结,尽可能地降低软件编程人员的代码维护难度;能够在部署时保证监控系统和被监控对象的松耦合;能够在运行时实现监控信息的按需汇聚和按需处理.从而在对系统核心业务的影响尽可能小的前提下.获得对系统运行行为尽可能全面的理解.
-
关键词
监控
分布式软件系统
软件构造
可信软件
-
Keywords
monitoring
distributed software system
software construction
trusted software
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名电力生产管理系统的可信构造方法研究
被引量：2
- 2
-
-
作者
包铁
刘淑芬
王晓燕
-
机构
吉林大学计算机科学与技术学院
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2010年第9期2166-2171,共6页
-
基金
国家自然科学基金(No.60973041)
国家863高技术研究发展重点项目(No.2009AA010314)
吉林大学科学前沿与交叉学科创新项目(No.200903176)
-
文摘
现有电力生产管理系统存在不能如期完成实施、运行不稳定和功能可用性不强等可信问题.本文提出一种由系统构建、系统实施过程管理、可信评估、可信证明四个部分组成,并在规则指导下进行可信构造的方法.本文提出的这种可信构造方法,经过实际应用证明能够有效提升电力生产管理系统的开发效率与质量,为系统的可信构建、可信分析及升级演化建立坚实的基础.
-
关键词
软件工程
可信软件
可信构造
信息管理系统
电力生产
-
Keywords
software engineering
trusted software
trusted construction
information management system
electric power production
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名组织信任的最新研究进展和未来研究展望
被引量：20
- 3
-
-
作者
马可一
-
机构
浙江大学管理学院
-
出处
《心理科学》
CSSCI
CSCD
北大核心
2004年第3期750-752,共3页
-
基金
本文系国家自然科学基金重点项目资助项目(70232010)。
-
文摘
本文总结了组织信任领域的四个方面的研究进展:理论框架更加系统,控制方法日趋严密,构思效度日渐细腻,分析方法更多实证。并根据最近的研究线索提出了未来值得研究的问题。
-
关键词
组织信任
控制方法
管理心理学
人力资源
-
Keywords
organizational trust, control method, construct validity
-
分类号
C936
[经济管理—管理学]
-
-
题名可信软件研究
被引量：3
- 4
-
-
作者
俞烈彬
王立杰
-
机构
江苏自动化研究所
-
出处
《指挥控制与仿真》
2013年第4期8-11,31,共5页
-
基金
总装备部"十二五"基金项目
-
文摘
可信软件是近年来软件工程领域研究的热点,装备软件可信性的研究有助于提升我国国防武器装备的作战效能。首先分析了进行装备软件可信相关研究的必要性;然后阐述可信软件技术的研究现状,主要包括软件可信度量和评估、可信软件的构造与验证、可信软件的演化与控制等三个方面;最后分析了研究可信装备软件面临的挑战。
-
关键词
可信软件
可信度量与评估
可信构造与验证
可信演化与控制
-
Keywords
trusted software
measurement and evaluation of software creditability
construction and validation of trusted software
evolvement and control of trusted software
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名认证路径构造算法研究与实现
被引量：1
- 5
-
-
作者
李清玉
韦卫
侯紫峰
-
机构
中科院计算技术研究所
-
出处
《微电子学与计算机》
CSCD
北大核心
2003年第9期15-18,共4页
-
基金
国家863基金资助项目(2002AA142030)
-
文摘
PKI是通过使用公开密钥技术和数字证书来确保系统信息安全并负责验证数字证书持有者身份的一种证书体系。目前,PKI在SSL/TLS、电子商务、电子政务等方面得到了广泛的应用,但是其中有关的认证路径构造是一个比较复杂的过程,并且没有相关的国际标准和文献可供参考。在分析与路径构造有关的证书扩展基础上,文章旨在澄清与认证路径构造处理相关的问题并给出适当的建议。
-
关键词
认证路径构造算法
公开密钥
数字证书
信息安全
-
Keywords
Certification Path,Path construction,Path validation,Trust Anchor
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
