移动计算中安全策略的进程表示

摘要：

安全策略为移动计算的安全性提供了必要的保证,而其表达和移动计算的形式化模型往往采用不同的技术实现.该文给出安全策略的一种进程表示方法,通过安全策略的进程表示,很容易将移动计算模型及移动计算的安全性问题在统一的框架下实现.为实现移动计算及其安全性提供了一种简单、可行的方法.

关键词：移动计算、安全属性、安全策略、安全自动机、进程

所属期刊栏目：34

分类号：TP309(计算技术、计算机技术)

在线出版日期：2008-05-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：20-21,24