| 一个安全的主动网络编程语言模型 |
| |
| 引用本文： | 郑晓娟,金成植,鞠九滨.一个安全的主动网络编程语言模型[J].吉林大学学报(信息科学版),2002,20(3):61-67. |
| |
| 作者姓名： | 郑晓娟 金成植 鞠九滨 |
| |
| 作者单位： | 1. 长春汽车高等专科学校,计算机科学系,吉林,长春,130011;吉林大学,计算机科学与技术学院,吉林,长春,130012
2. 吉林大学,计算机科学与技术学院,吉林,长春,130012 |
| |
| 基金项目： | 高等学校博士学科点专项科研项目;1999018319; |
| |
| 摘 要： | 为解决主动网络安全威胁问题，从编程语言角度分析了语言级的主动网络的安全需求，使用软件机制而不是硬件机制保护主机防止恶意代码攻击，并折中了通信需求和程序语言需求，为主动网络提供了一个安全的编程语言模型。
|
| 关 键 词： | 主动网络 安全 运行时检查 静态检查 类型系统 |
| 文章编号： | 1671-5896(2002)03-0061-07 |
| 修稿时间： | 2002年4月25日 |
Safe and security programming language model for active networks |
| |
| ZHENG Xiao\|juan ,JIN Cheng\|zhi ,JU Jiu\|bin.Safe and security programming language model for active networks[J].Journal of Jilin University:Information Sci Ed,2002,20(3):61-67. |
| |
| Authors: | ZHENG Xiao\|juan JIN Cheng\|zhi JU Jiu\|bin |
| |
| Institution: | ZHENG Xiao\|juan 1,2,JIN Cheng\|zhi 2,JU Jiu\|bin 2 |
| |
| Abstract: | 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. |
| |
| Keywords: | Active network Run\|time checks Static checks and type system |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
