1. Lecture Notes in Computer Science;M. Abadi,1997
2. Lecture Notes in Computer Science;L. Cardelli,2000
3. Chothia, T., Duggan, D., Vitek, J.: Type-based distributed access control. In: CSFW 2003, pp. 170–184. IEEE, Los Alamitos (2003)
4. Hennessy, M., Riely, J.: Information flow vs resource access in the asynchronous π-calculus. ACM TOPLAS 24(5), 566–591 (2002)
5. Hennessy, M., Riely, J.: Resource access control in systems of mobile agents. I&C 173, 82–120 (2002)