Riely, J. and Hennessy, M., Trust and partial typing in open systems of mobile agents. POPL'99, ACM Press, 1999. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Dynamic Rebinding for Marshalling and Update, with .. - Bierman, Hicks.. (Correct)
.... performance, or debugging purposes [Rou96, SNC00, HWC00, SV00] Rebinding in Distributed Calculi A number of distributed process calculi provide implicit rebinding of names, adopting interaction primitives with meanings that depend on where they are used in a location structure [CG98, SV00, RH99, Sch02, SWP99, CS00] This allows a form of rebinding to application libraries, but these works do not address the problem of integrating this rebinding with local functional computation. The JoCaml and Nomadic Pict languages for mobile computation [FGL 96, SWP99] provide rebinding to ....
James Riely and Matthew Hennessy. Trust and partial typing in open systems of mobile agents. In Proc. 26th POPL, pages 93--104, 1999.
Assigning Types to Processes - Yoshida, Hennessy (2000) (32 citations) Self-citation (Hennessy) (Correct)
No context found.
Riely, J. and Hennessy, M., Trust and partial typing in open systems of mobile agents. POPL'99, ACM Press, 1999.
Security Policies as Membranes in Systems for Global.. - Gorla, Hennessy, Sassone (2004) Self-citation (Hennessy) (Correct)
No context found.
J. Riely and M. Hennessy. Trust and partial typing in open systems of mobile agents. In Proceedings of POPL '99, pages 93--104. ACM, 1999.
safeDpi: a language for controlling mobile code - Hennessy, Rathke, Yoshida (2003) (16 citations) Self-citation (Hennessy) (Correct)
No context found.
James Riely and Matthew Hennessy. Trust and partial typing in open systems of mobile agents (extended abstract). In Conference Record of POPL '99 The 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 93--104, 1999. To appear in the Journal of Automated Reasoning.
Security Policies as Membranes in Systems for Global Computing - Gorla, al. (2004) Self-citation (Hennessy) (Correct)
No context found.
J. Riely and M. Hennessy. Trust and partial typing in open systems of mobile agents. In Proceedings of POPL '99, pages 93--104. ACM, 1999.
safeDpi: a language for controlling mobile code - Hennessy, Rathke, Yoshida (2003) (16 citations) Self-citation (Hennessy) (Correct)
No context found.
James Riely and Matthew Hennessy. Trust and partial typing in open systems of mobile agents (extended abstract). In Conference Record of POPL '99 The 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 93-104, 1999. To appear in the Journal of Automated Reasoning.
Information Flow vs. Resource Access in the Asynchronous.. - Hennessy, Riely (2000) (8 citations) Self-citation (Riely Hennessy) (Correct)
No context found.
James Riely and Matthew Hennessy. Trust and partial typing in open systems of mobile agents (extended abstract). In Conference Record of POPL '99 The 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 93-104, 1999.
Third-Party Resource Usage for Pervasive.. - Hennessy, Owen.. (2003) Self-citation (Hennessy) (Correct)
No context found.
J. Riely and M. Hennessy. Trust and partial typing in open systems of mobile agents (extended abstract). In Conference Record of POPL '99 The 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 93-- 104, 1999. To appear in Journal of Automated Reasoning. i ii ProgNets (3rd call) -- Resources for Pervasive Computing
Orderly Communication in the Ambient Calculus - Amtoft, Kfoury, Pericas-Geertsen (2002) (Correct)
No context found.
James Riely and Matthew Hennessy. Trust and partial typing in open systems of mobile agents. In POPL'99, San Antonio, Texas, pages 93--104. ACM Press, 1999.
Unknown - Ist- Dynamic Assembly (Correct)
No context found.
James Riely and Matthew Hennessy. Trust and partial typing in open systems of mobile agents. In POPL'99, San Antonio, Texas, pages 93--104. ACM Press, 1999.
Abstractions for Fault-Tolerant Global Computing - Chothia, Duggan (2004) (1 citation) (Correct)
No context found.
J. Riely, M. Hennessy, Trust and partial typing in open systems of mobile agents, in: Proceedings of ACM Symposium on Principles of Programming Languages, 1999.
Dynamic Rebinding for Marshalling and Update, with .. - Bierman, Hicks.. (2004) (Correct)
No context found.
James Riely and Matthew Hennessy. Trust and partial typing in open systems of mobile agents. In Proc. 26th POPL, pages 93--104, 1999.
Confidentiality and Integrity with Untrusted Hosts - Steve Zdancewic Andrew (2 citations) (Correct)
No context found.
James Riely and Matthew Hennessy. Trust and partial typing in open systems of mobile agents. In Proceedings of the 26th ACM Symposium on Principles of Programming Languages, pages 93--104, San Antonio, TX, January 1999.
MIKADO Global Computing Project IST-2001-32222 - Mobile Calculi Based (Correct)
No context found.
J. Riely and M. Hennessy. Trust and partial typing in open systems of mobile agents. In Proceedings of POPL '99, pages 93--104. ACM, 1999.
Dynamic Rebinding for Marshalling and Update, with .. - Bierman, Hicks.. (Correct)
No context found.
James Riely and Matthew Hennessy. Trust and partial typing in open systems of mobile agents. In Proc. 26th POPL, pages 93--104, 1999.
What are Polymorphically-Typed Ambients? - Amtoft, Kfoury, Pericas-Geertsen (2001) (Correct)
No context found.
J. Riely and M. Hennessy. Trust and partial typing in open systems of mobile agents. In POPL'99, San Antonio, Texas, pp. 93--104. ACM Press, 1999.
Resource Access and Mobility Control with Dynamic.. - Gorla, Pugliese (2003) (8 citations) (Correct)
No context found.
J. Riely and M. Hennessy. Trust and partial typing in open systems of mobile agents. In Proceedings of POPL '99 , pages 93--104. Full version to appear in Journal of Automated Reasoning, 2003.
Enforcing Security Policies via Types - Daniele Gorla And (2003) (2 citations) (Correct)
No context found.
J. Riely and M. Hennessy. Trust and partial typing in open systems of mobile agents. In Proceedings of POPL '99, pages 93--104.
Type-Based Distributed Access Control (Extended Abstract) - Chothia, Duggan, Vitek (2003) (Correct)
No context found.
J. Riely and M. Hennessy. Trust and partial typing in open systems of mobile agents. In Proceedings of ACM Symposium on Principles of Programming Languages, 1999.
Towards Abstractions for Distributed Systems - Berger (2004) (4 citations) (Correct)
No context found.
James Riely and Matthew Hennessy. Trust and partial typing in open systems of mobile agents. In Proc. POPL 1999.
Channel Dependent Types for Higher-Order Mobile Processes.. - Yoshida (2004) (4 citations) (Correct)
No context found.
Riely, J. and Hennessy, M., Trust and partial typing in open systems of mobile agents. POPL'99, ACM Press, 1999.
What are Polymorphically-Typed Ambients? - Amtoft, Kfoury, Pericas-Geertsen (2000) (Correct)
No context found.
J. Riely and M. Hennessy. Trust and partial typing in open systems of mobile agents. In POPL'99, San Antonio, Texas, pp. 93--104. ACM Press, 1999. 1
Towards Abstractions for Distributed Systems - Berger (2000) (4 citations) (Correct)
No context found.
James Riely and Matthew Hennessy. Trust and partial typing in open systems of mobile agents. In Proc. POPL 1999.
Nomadic π-Calculi: Expressing and Verifying Communication.. - Unyapoth (2001) (Correct)
No context found.
James Riely and Matthew Hennessy. Trust and partial typing in open systems of mobile agents. In Proceedings of POPL '99, pages 93-104. ACM, 1999. Full version as CogSci Report 4/98, University of Sussex, Brighton.
Dynamic Rebinding for Distributed Programming - Bierman, Hicks, Sewell.. (2002) (1 citation) (Correct)
No context found.
J. Riely and M. Hennessy. Trust and partial typing in open systems of mobile agents. In Proc. 26th POPL, pages 93--104, 1999.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC