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

• 作者: 余万涛
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 移动计算 安全属性 安全策略 安全自动机 进程
• 年，卷（期）: 2008,（2）
• 所属期刊栏目: 博士论文
• 页码范围: 20-21,24
• 页数: 3页
• 分类号: TP309
• 字数: 3937字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2008.02.007

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	余万涛	上海交通大学电子信息学院	4	4	1.0	1.0