期刊文献+

一个安全的主动网络编程语言模型

Safe and security programming language model for active networks
下载PDF
导出
摘要 为解决主动网络安全威胁问题 ,从编程语言角度分析了语言级的主动网络的安全需求 ,使用软件机制而不是硬件机制保护主机防止恶意代码攻击 ,并折中了通信需求和程序语言需求 ,为主动网络提供了一个安全的编程语言模型。 To coping with active networks security problems,active networks security are analyzed in language level based on the programming language. Hence making it practical to use software mechanisms to protect the host machine from malicious code. And design of the programming language model has used three major viewpoints to come up with a language for the security of active networks: a communications view, a programming view and a safety view.
出处 《吉林大学学报(信息科学版)》 CAS 2002年第3期61-67,共7页 Journal of Jilin University(Information Science Edition)
基金 高校博士点专项科研基金项目 (19990 183 19)
关键词 主动网络 安全 运行时检查 静态检查 类型系统 Active network Run\|time checks Static checks and type system
  • 相关文献

参考文献18

  • 1Konstantinos Psounis. Active networks: Application, security, safety and architectures[J/OL]. http://www.comsoc.org.pubs/surveys,1999-03.
  • 2Scott D Alexander, William A, Arbaugh, Michael W Hicks. The SwitchWare active network architecture[J/OL].http://citeseer.nj.nec.com/5813.html,1998-06.
  • 3Scott D Alexander, William A Arbaugh, Angelos D, Keromytis,Jonathan M Smith. A Secure Active Network Environment Architecture; Realization in SwitchWare[J/OL].http://citeseer.nj.nec.com/24033.html,1998.
  • 4Jonathan T Moore, Scott M Nettles. Towards Practical Programmable Packets[DB/OL]. http://citeseer.nj.nec.com/294052.html,2000-05.
  • 5Allan Jeffrey,Ian Wakeman. A survey on semantic techniques for active networks[DB/OL].http://www.cogs.susx.ac.uk/projects/safetynet,2000-01-05.
  • 6Zhangyu Liu, Roy H Campbell, Dennis M Mickunas. Security the Node of an Active Network[DB/OL]. http://citeseer.nj.nec.com.liu00security.html,2000-01-05
  • 7Scott Alexander. ALIEN: A generalized computing model of active network.. PhD thesis, University of Pennsylvania[DB/OL]. http://citeseer.nj.nec.com/alexander98alien.html,1998.
  • 8David J Wetherall, John Guttag, David L Tennenhouse. ANTS: A toolkit for building and dynamically deploying network protocols[DB/OL]. http://citeseer.nj.nec.com/wetherall98ants.html,1998-08.
  • 9Erik L Nygren, Stephen J Garland,Frans M Kaashoek[DB/OL].Mance Active Network Node Supporting Multiple Mobible Code Systems[DB/OL].http://www.os-omicron.org/~takano/doc/anets_paper.html,2000-05.
  • 10Michael Hicks, Pankaj Kakkar, Jonathan T Moore, Carl A Gunter,Scott Nettles. PLAN: A packer language for active networks[DB/OL]. In Proceedings of the 1998 ACM SIGPLAN International Conference on Functional Programming (ICFP'98), September 1998. http://citeseer.nj.nec.com/hicks98plan.html,2000-01-15.

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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