全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用:99美元

查看量下载量

相关文章

更多...
软件学报  2005 

Typing Mobile Resources
类型化移动资源

Keywords: concurrency,mobile computing,process calculi,type system,mobile resources
并发
,移动计算,进程演算,类型系统,移动计算

Full-Text   Cite this paper   Add to My Lib

Abstract:

A kind of interference, called direct access interference, is found in the calculus of Mobile Resources(MR), which will cause more damage than the grave interference one finds in the calculus of Mobile Ambients,because in MR malicious environments or contexts can freely access the sensitive resources inside a process. This kind of interference should be regarded as a program error. To control the direct access interference, we devise a variant of MR, the calculus of Safe Mobile Resources (SR). The authors use a type system to avoid the occurrence of all direct access interferences. Due to the study, the grave interference is a special form of the direct access interference, which is also controlled in SR. At the end of the paper, several examples are provided to illustrate how to use the new calculus and how robust it is.

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133