Access control for mobile agents: The calculus of boxed ambients

被引：57

作者：

Bugliesi, M

Castagna, G

Crafa, S

机构：

[1] Univ Ca Foscari Venezia, Dipartimento Informat, I-30172 Venice, VE, Italy

[2] Ecole Normale Super, LIENS, F-75005 Paris, France

来源：

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 2004年 / 26卷 / 01期

关键词：

languages; security; verification; ambient calculi; mobile computation; access control systems; type systems; type safety;

D O I：

10.1145/963778.963781

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Boxed Ambients are a variant of Mobile Ambients that result from dropping the open capability and introducing new primitives for ambient communication. The new model of communication is faithful to the principles of distribution and location-awareness of Mobile Ambients, and complements the constructs in and out for mobility with finer-grained mechanisms for ambient interaction. We introduce the new calculus, study the impact of the new mechanisms for communication of typing and mobility, and show that they yield an effective framework for resource protection and access control in distributed systems.

引用

页码：57 / 124

页数：68

共 42 条

[1]

Amadio RM, 1994, LECT NOTES COMPUT SC, V880, P205

[2]

[Anonymous], 1985, 520028STD DOD

[3]

Bell D. E., 1976, MTR2997 MITRE CORP

[4]

BOUDOL G, 1992, 1702 INRIA

[5] The Java']JavaSeal mobile agent kernel [J].

Bryce, C ;

Vitek, J .

AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2001, 4 (04) :359-384

[6]

Bugliesi M, 2003, LECT NOTES COMPUT SC, V2719, P969

[7]

Bugliesi M, 2002, LECT NOTES COMPUT SC, V2556, P71

[8] Secure safe ambients [J].

Bugliesi, M ;

Castagna, G .

ACM SIGPLAN NOTICES, 2001, 36 (03) :222-235

[9]

BUGLIESI M, 2001, LNCS, V2154, P102

[10]

Bugliesi M., 2001, LNCS, V2215, P38

← 1 2 3 4 5 →