| 信息安全模型研究 |
| |
| 引用本文： | 蒋韬,李信满,刘积仁. 信息安全模型研究[J]. 小型微型计算机系统, 2000, 21(10): 1078-1081 |
| |
| 作者姓名： | 蒋韬 李信满 刘积仁 |
| |
| 作者单位： | 东北大学软件中心,沈阳,110006 |
| |
| 基金项目： | 国家 8 6 3计划资助!(项目号 :86 3 -3 0 6 -ZT0 5 -0 5 -5 )项目 |
| |
| 摘 要： | 随着网络技术迅速发展和不断应用，信息安全特别是网络安全成为人们研究的重点问题，本文重点分析了一些典型的信息安全模型，采用形式化的安全模型开发方法，在构建信息安全系统中起到了重要作用，考虑到分布计算机环境和移动计算环境的需求，本文提出了信息安全模型技术的发展趋势。
|
| 关 键 词： | 信息安全 形式化模型 BLP模型 CW模型 |
RESEARCH ON INFORMATION SECURITY MODEL |
| |
| JIANG Tao,LI Xin-man,LIU Ji-ren. RESEARCH ON INFORMATION SECURITY MODEL[J]. Mini-micro Systems, 2000, 21(10): 1078-1081 |
| |
| Authors: | JIANG Tao LI Xin-man LIU Ji-ren |
| |
| Affiliation: | The Software Center of Northeastern Univrersity Shenyang 110006 |
| |
| Abstract: | With the rapid development and wide application of network technology, information security, especially network security becomes one of the research hotspots. Because the important role of formal security model in structuring information security system, this paper analysis some famous information model. Considered as distributed computing and mobile computing environment, this paper presents the development trend of information model. |
| |
| Keywords: | Information security Formal model |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
