【摘要】 随着网络技术迅速发展和不断应用 ,信息安全特别是网络安全成为人们研究的重点问题 .本文重点分析了一些典型的信息安全模型 ,采用形式化的安全模型开发方法 ,在构建信息安全系统中起到了重要作用 .考虑到在分布计算环境和移动计算环境的需求 ,本文提出了信息安全模型技术的发展趋势更多还原

【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.更多还原