| 考虑位置失效的移动系统安全模型 |
| |
| 引用本文： | 余万涛,胡光锐.考虑位置失效的移动系统安全模型[J].计算机应用研究,2006,23(10):128-129. |
| |
| 作者姓名： | 余万涛 胡光锐 |
| |
| 作者单位： | 上海交通大学,电子信息学院,上海,200030;上海交通大学,电子信息学院,上海,200030 |
| |
| 摘 要： | 以带位置扩展的移动进程π演算模型为形式化工具，在考虑位置失效的基础上，将移动系统的安全性质转换为系统进程在给定计算环境中的位置互模拟关系，提出了考虑位置失效的一种新安全模型。针对实际安全需求，该模型可以方便地描述不同的非干扰安全性质；该模型提供了一个统一的安全分析架构，可广泛用于移动计算系统的安全性分析。
|
| 关 键 词： | 安全模型 π演算 不干扰安全性质 位置 |
| 文章编号： | 1001-3695（2006）10-0128-02 |
| 收稿时间： | 2005-04-19 |
| 修稿时间： | 2005-04-192005-09-28 |
Security Model for Mobile Systems with Location Failures |
| |
| YU Wan tao,HU Guang rui.Security Model for Mobile Systems with Location Failures[J].Application Research of Computers,2006,23(10):128-129. |
| |
| Authors: | YU Wan tao HU Guang rui |
| |
| Affiliation: | (College of Electronic Information, Shanghai Jiaotong University, Shanghai 200030, China) |
| |
| Abstract: | This paper gives an extended IT calculus with localities, and establishes a model for enforcing security properties analyzing in mobile systems. In this model, various noninterference security properties can be easily encoded and evaluated. Moreover, the method proposed a uniform security framework for mobile distributed systems. |
| |
| Keywords: | Security Model IT Calculus Noninterference Location |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
