R. de Nicola and M. Loreti. A modal logic for mobile agents. ACM Transactions on Computational Logics, 2004. To appear. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Open Nets, Contexts And Their Properties - De Nicola, Loreti Self-citation (De nicola Loreti) (Correct)
No context found.
R. De Nicola and M. Loreti. A Modal Logic for Mobile Agents. ACM Transactions on Computational Logic, 5(1), 2004.
Open Nets, Contexts and Their Properties - De Nicola, Loreti Self-citation (De nicola Loreti) (Correct)
No context found.
R. De Nicola and M. Loreti. A Modal Logic for Mobile Agents. ACM Transactions on Computational Logic, 5(1), 2004.
The Klaim Project: Theory and Practice - Bettini, Bono, De Nicola.. (2003) (1 citation) Self-citation (De nicola Loreti) (Correct)
No context found.
R. De Nicola and M. Loreti. A Modal Logic for Mobile Agents. ACM Transactions on Computational Logic, 2002. To appear. Available at http://music.dsi.unifi.it/.
Analysis of Distribution Structures: State of the Art - Boreale, De Nicola.. (2002) (1 citation) Self-citation (De nicola) (Correct)
....not supposed to carry private keys with them when migrating, to collect encrypted data, while executing on remote sites, and decrypt them safely when back at the home site. There is no proof of correctness of the implementation at the moment. We are working on applying the modal logic for Klaim [DL02] also to X Klaim in order to proove properties of systems programmed in X Klaim [BDL02] In this section we will show how to program a news gatherer, that relies on mobile agents for retrieving information on remote sites, using our framework. In particular we will implement this example both in ....
R. De Nicola and M. Loreti. A Modal Logic for Mobile Agents. ACM Transaction of Computational Logics, 2002. to appear.
QAPL 2004 Preliminary Version - Quantitative Calculus And (Correct)
No context found.
R. de Nicola and M. Loreti. A modal logic for mobile agents. ACM Transactions on Computational Logics, 2004. To appear.
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