期刊文献+

浅析计算机软件安全检测存在问题及方法 被引量:3

下载PDF
导出
摘要 随着计算机网络技术的迅速发展和进步,经济快速发展的今天,计算机正在以惊人的速度进入人类社会的各个角落,已经逐渐成为人们生活当中不可或缺的一部分,从第一代计算机的产生到现在,我们经历了一个又一个奇迹的诞生,计算机已经从家庭走向世界,从局部走向整体,计算机的运用主要在软件的运用上,它不仅给我们的日常学习生活带来便利,还在军事、外交等方面做出了极大的贡献。计算机让我们的生活更加丰富,让世界变得更加紧密。本文就计算机软件的发展给人类带来的利与弊以及计算机软件安全监测存在的问题,对软件安全检测的方法进行了探讨。
作者 周丽蕴
出处 《电子世界》 2014年第3期17-18,共2页 Electronics World
  • 相关文献

参考文献6

二级参考文献18

  • 1李威远,陈新,刘发彪.基于ARM的无线图像传输系统的设计与实现[J].福州大学学报(自然科学版),2004,32(6):684-688. 被引量:8
  • 2黄爱明.国内软件测试现状及对策研究[J].中国管理信息化(综合版),2007,10(2):42-44. 被引量:14
  • 3[3]ISO/IEC 15408一1,2,3,Information technology security technology evaluation criteria for IT security[S].1999.
  • 4[4]CCIMB-99-031,Common criteria for information technology security evaluation(Version 2,1)[S].1999.
  • 5张素文,付薇,刘明兰.嵌入式视频图像传输系统的设计与实现[J].微计算机信息,2007,23(03Z):22-24. 被引量:13
  • 6Z Manna,A Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification[M]. Springer - Verlag, 1991.
  • 7F Tip. A Survey of Program Slicing Techniques[J]. Journal of Programming Languages, 1995,3 (3) : 121 - 189.
  • 8M Welser. Program sliclng[J]. IEEE Transaction on Software Engineerlng,1984,10(4) : 352 - 357.
  • 9T Ball, J Esparsz . Bebop : A symbolic model checker for boolean programs[ C]. In SPIN 00: SPIN Workshop,Lecture Notes in Computer Science, Springer - Verlag, 2000, LNCS1885 (113 - 130).
  • 10Hao Chen, David Wagner. MOPS : an Infrastructure for Examining Security Properties of Software[C]. In Proceedings of the 9th ACM Conference on Computer and Communications Security (CCS) ,2002.

共引文献47

同被引文献10

引证文献3

二级引证文献5

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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