Access control for mobile agents: The calculus of boxed ambients

Michele Bugliesi, Giuseppe Castagna, Silvia Crafa. Access control for mobile agents: The calculus of boxed ambients. ACM Transactions on Programming Languages and Systems, 26(1):57-124, 2004. [doi]

Abstract

Abstract is missing.