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]
@article{BugliesiCC04, title = {Access control for mobile agents: The calculus of boxed ambients}, author = {Michele Bugliesi and Giuseppe Castagna and Silvia Crafa}, year = {2004}, doi = {10.1145/963778.963781}, url = {http://doi.acm.org/10.1145/963778.963781}, tags = {access control, mobile}, researchr = {https://researchr.org/publication/BugliesiCC04}, cites = {0}, citedby = {0}, journal = {ACM Transactions on Programming Languages and Systems}, volume = {26}, number = {1}, pages = {57-124}, }