期刊文献+

动态演化环境中可信软件行为监控研究与进展 被引量:10

Research and development on behavior monitoring and controlling of trusted software in dynamic evolution environment
下载PDF
导出
摘要 提出了一个软件行为监控框架,在此基础上,从软件行为描述、软件行为监测、软件行为可信管理和软件行为控制四个方面,阐述了可信软件行为监控的研究进展,分析了目前研究中存在的问题,并探讨了其未来的发展趋势。 Firstly, this paper presented a framework for behavior monitoring and controlling of software. Then, on this basis, discussed the research and development on behavior monitoring and controlling of trusted software, which including software behavior describing, software behavior monitoring, trust management of software behavior and software behavior controlling. Finally, analyzed the existing problems of research, and also discussed the development trend of future research.
出处 《计算机应用研究》 CSCD 北大核心 2009年第4期1201-1204,共4页 Application Research of Computers
基金 国家自然科学基金资助项目(60773110) 湖南省教育厅优秀青年科研资助项目(06B023) 湖南工业大学科研资助项目
关键词 动态演化 可信软件 行为监控 行为可信 dynamic evolution trusted software behavior monitoring and controlling behavior trust
  • 相关文献

参考文献32

  • 1陈火旺,王戟,董威.高可信软件工程技术[J].电子学报,2003,31(z1):1933-1938. 被引量:115
  • 2KRAMER J, MAGEE J. The evolving philosophers problem:dynamic . change management[ J]. IEEE Trans on Software Engineering, 1990,16(11) :1-33. 被引量:1
  • 3罗军舟,seu.edu.cn,沈俊,顾冠群.从Petri网到形式描述技术和协议工程[J].软件学报,2000,11(5):606-615. 被引量:41
  • 4HELKE S, KAMMIILLER F. Representing hierarchical automata in interactive theorem provers[ C ]//Proc of the 14th International Conference on Theorem Proving in Higher Order Logics. London: Springer-Verlag, 2001:233- 248. 被引量:1
  • 5MILNER R, PARROW J, WALKER D. A calculus of mobile processes [ J ]. Information and Computation, 1992,100( 1 ) : 1-40. 被引量:1
  • 6SANGIORGI D. Expressing mobility in process algebras:first-order and higher-order paradigms [ D ]. Edinburgh : University of Edinburgh, 1992. 被引量:1
  • 7李长云,李赣生,何频捷.一种形式化的动态体系结构描述语言[J].软件学报,2006,17(6):1349-1359. 被引量:33
  • 8LI Jun. Monitoring and characterization of component-based systems with global causality capture[ C]//Proc of the 23rd International Conference on Distributed Computing Systems. 2003: 422-431. 被引量:1
  • 9DIAKOV K, BATTERAM J, ZANDBELT H. Monitoring of distributed component interactions [ C ]//Proc of IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing. New York:[ s. n. ] , 2000:229-243. 被引量:1
  • 10CHEN Feng, GRIGORE R. MOP: an effcient and generic runtime verification framework[ C]//Proc of OOPSLA 2007. 2007:569-588. 被引量:1

二级参考文献87

  • 1梅宏,常继传,杨芙清.Software component composition based on ADL and Middleware[J].Science in China(Series F),2001,44(2):136-151. 被引量:19
  • 2马晓星,余萍,陶先平,吕建.一种面向服务的动态协同架构及其支撑平台[J].计算机学报,2005,28(4):467-477. 被引量:80
  • 3李长云,李赣生,何频捷.一种形式化的动态体系结构描述语言[J].软件学报,2006,17(6):1349-1359. 被引量:33
  • 4[1]Standish Group. The CHAOS Report[R].Found at http://www. standishgroup. com. 1995. 被引量:1
  • 5[2]The Inquiry Board. Ariane 5 Flight 105 Inquiry Board Report [ R ].Paris: European Space Agency Press,July 1996. 被引量:1
  • 6[3]National Science,Technology Council (NSTC). America in the Age of Information: A Forum on Federal Information and Communications R&D[R]. Bethesda, Maryland, July 6 - 7,1995. 被引量:1
  • 7[4]NSTC.Research challenges in high confidence systems[A]. Proceedings of the Committee on Computing, Information, and Communications Workshop[ C ]. USA: http://www. hpcc. gov/pubs/hcs-Aug97/intro.html, August 6 - 7,1997. 被引量:1
  • 8[5]High Confidence Systems Working Group, NSTC. Setting an interagency high confidence systems (HCS) research agenda [ A ]. Proceedings of the Interagency High Confidence Systems Workshop [ C ]. Arlington,Virginia,25 March 1998. 被引量:1
  • 9[6]High Confidence Software and Systems Coordinating Group. High Confidence Software and Systems Research Needs[ R]. USA: http://www.ccic. gov/pubs/hcss-research. pdf, January 10,2001. 被引量:1
  • 10[7]President's Information Technology Advisory Committee. Information Technology Research:Investing in Our Future[ R] .Report to the President, USA: http://www. cs. rice. edu/~ ken/presentations/PITAC.pdf, February 24,1999. 被引量:1

共引文献613

同被引文献114

引证文献10

二级引证文献20

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部