L. Cardelli, G. Ghelli, and A. D. Gordon. Mobility types for mobile ambients. In Proceedings ICALP'99, volume 1644 of Lecture Notes in Computer Science, pages 230-239. Springer, 1999. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Ionic Types - Dobson, Matthews (2000) (Correct)
....of processes and subambients into a package which may migrate through a hierarchy according to some simple rules. Two type frameworks have been developed on top of the original untyped system: a conventional system controlling the types of communications[7] and a novel system of mobility types [5] providing type level control over how an ambient may move about the system. We speculate that communication types are closely related to ions, in the sense that an ion represented as an ambient might add new communications (method calls) if opened within another context. This is a possible area ....
Luca Cardelli, Giorgio Ghelli, and Andrew Gordon. Mobility types for mobile ambients. In Proceedings of the International Conference on Algebraic and Logic Programming, 1999.
Mobile Processes with Dependent Communication Types and.. - Amtoft, Wells (2002) (7 citations) (Correct)
....1. The Soft boxed Ambient Calculus, process syntax. 2 The Soft Boxed Ambient Calculus Our soft boxed ambient calculus is given in Fig. 1. It has the features of BA [4] and the original MA [7] because this allows us to discuss issues of typing both with and without the open capability. Already [6] observed that the presence of open complicates analysis significantly (thus motivating [4] Accordingly, in Sect. 4.2 we shall see that an anomaly in the types when open is used makes the types look a bit ugly, but does not seem likely to cause di#culty in practice in showing the ....
....example, inside c we can (X 1 ) have other ambients (XA ) have arbitrary in and out capabilities (XC ) open other copies of c as well as open y, but since c has type Amb[shh] no input or output actions are allowed. We expect that a similar embedding can be done for the mobility type system of [6]. The translation would then give P a PolyA type which is more refined than the one above, but still much coarser than the best PolyA type for P which is: letrec X a = open b in c in y X = a[X a ] c[a[X a ] 6 Other Kinds of Poly morphic variant Analysis Several other ....
L. Cardelli, G. Ghelli, A. D. Gordon. Mobility types for mobile ambients. In J. Wiedermann, P. van Emde Boas, M. Nielsen, eds., ICALP'99, vol. 1644 of LNCS. Springer-Verlag, 1999.
M³: Mobility Types for Mobile Processes in.. - Coppo.. (2002) (Correct)
....over parallel composition: if act denotes a generic prefix, act.# is read as (act.#) #. The operational semantics is given by a reduction relation along with a structural congruence, as usual. Structural congruence (shown in Figure 2) is almost standard for the usual ambient constructors [4], but for the rule (#n: g)n[0] 0 which is added to get a form of garbage collection in absence of the open primitive and for the rules to handle simultaneous group restriction. These new rules allows to permute, split and erase group restrictions under suitable conditions. Despite their awkward ....
....of Figure 1 is not really complete without giving the rules for defining well typed terms. Types firstly ensure that meaningless terms cannot be defined or be produced by computation. In addition, we are also interested in using types for the control of access and mobility. As already observed in [4], expressing such properties in terms of single ambients leads to dependent types, for example in judgments of the form n: CanEnter( m 1 , m k ) Following the seminal work of [4] and [9] among others, we therefore adopt an approach based on ambient groups, which permits us to avoid ....
[Article contains additional citation context not shown here]
L. Cardelli, G. Ghelli, and A. D. Gordon. Mobility types for mobile ambients. In J. Wiederman, P. van Emde Boas, and M. Nielsen, editors, ICALP'99, volume 1644 of LNCS, pages 230--239, Berlin, 1999. Springer-Verlag.
Subtyping and Matching for Mobile Objects - Michele Bugliesi Giuseppe (2001) (2 citations) (Correct)
....intuitive reading of the reduction is that a not understood message causes a local error for the sender of that message rather than a global error for the entire system. The rule above is meaningful also in the presence of multiple ambients with equal name, as our type system (like those of [CG99,CGG99,LS00]) ensures that ambients with the same name have also the same type. Therefore if a message is absent from a given ambient b, it will also be absent from all ambients named b. If we assume that ERR is a distinguished process, with no type, it is easy to verify that no system containing an ....
L. Cardelli, G. Ghelli, and A. Gordon. Mobility types for mobile ambients. In Proceedings of ICALP'99, number 1644 in Lecture Notes in Computer Science, pages 230--239. Springer, 1999.
Nomadic Pict: Correct Communication Infrastructure for.. - Unyapoth, Sewell (2001) (13 citations) (Correct)
....aid reasoning, channel and agent types are refined by annotating them with capabilities, ranged over by I and Z respectively. As in [PS96] channels can be used for input only r, output only w, or both rw; these induce a subtype order. In addition, agents are either static s, or mobile m [Sew98, CGG99] Values and patterns Channels allow the communication of first order values: names, constants t, tuples and existential packages. Patterns p are of similar shapes as value. v : t [v1 . vn ] T p : p1 . pn ] p The value grammar is extended with some basic ....
Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon. Mobility types for mobile ambients. In pages 230--239. Springer, July 1999.
Information Flow Security in Boxed Ambients - Crafa, Bugliesi, Castagna (2003) (4 citations) (Correct)
....expressed with the original semantics. We leave a discussion on the relative expressive power between the two versions for future work, and focus on information flow security instead. 2. 3 Static semantics The structure of types for BA is similar to that of companion type systems for the MA [10,6]. Ambient Types. Like Mobile Ambients, Boxed Ambients are places of conversation . However, Boxed Ambients allow more than just one topic of conversation: in particular, the type of an ambient shows the topic of its upward conversations, but the values it exchanges locally and with its ....
L. Cardelli, G. Ghelli, and A. Gordon. Mobility types for mobile ambients. In Proceedings of ICALP'99, number 1644 in Lecture Notes in Computer Science, pages 230--239. Springer, 1999.
Enforcing Security Policies via Types - Daniele Gorla Rosario (2003) (2 citations) (Correct)
....as we know, ours is the first one implementing such fine grained policies. Among those type systems more strictly related to security, we mention those disciplining the types of the values exchanged in communications [9, 3, 24] those for controlling Ambients [10] mobility and ability to be opened [6, 7, 26, 18, 12], that for controlling resource access via policies for mandatory access control [4] that for checking that all processes that intend to perform inputs at a given channel are co located [36] that for controlling the e#ect of transmitted process abstractions over local channels [37] and that for ....
L. Cardelli, G. Ghelli, and A. D. Gordon. Mobility types for mobile ambients. In J. Wiederman, P. van Emde Boas, and M. Nielsen, editors, Proceedings of ICALP '99, volume 1644 of LNCS, pages 230--239. Springer, 1999.
Typing Evolving Ambients - Guan, Yang, You (2001) (Correct)
....can be consumed only by the speci ed ambients. In this paper, we use ambient calculus to denote MA, SA, or ROAM, when the di erences among them are not important. Various type systems for the ambient calculus have been proposed. Topics studied so far include message exchange type and mobility [4, 5, 10], security [6, 7, 2] threads and algebraic theory [9, 8] etc. In most of these type systems, the following law is uniformly adopted: the open capability type information of the opened ambient. For instance, in a type system that tracks the mobility of ambients, an ambient that opens a mobile ....
....exhibit open sooner or later, which is impossible for n[0] The soundness of ETS MT is ensured by the following subject reduction theorem. Theorem 1 If P : T and P Q, then Q : T T . The proof is by induction on the depth of the proof of P Q, a routine check similar to those of [8, 5, 10]. See Appendix A for the detailed proof. 4 Immobile server In this section, we employ a simple example to demonstrate the application of ETS MT. In this example, a network server is used to collect data brought by agents. Server = s[ ina : opena : Collect] Agent = a[in s : open : Data] We ....
[Article contains additional citation context not shown here]
L. Cardelli, G. Ghelli, A. Gordon. Mobility types for mobile ambients. In Proc. ICALP'99, LNCS 1644:230-239, Spinger-Verlag, 1999.
Types for the Ambient Calculus - Luca Cardelli And (2002) (13 citations) Self-citation (Cardelli Ghelli Gordon) (Correct)
No context found.
L. Cardelli, G. Ghelli, and A. D. Gordon. Mobility types for mobile ambients. In Proceedings ICALP'99, volume 1644 of Lecture Notes in Computer Science, pages 230-239. Springer, 1999.
Boxed Ambients with Communication Interfaces - Bonelli, Compagnoni.. (2004) (1 citation) (Correct)
No context found.
Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon. Mobility Types for Mobile Ambients. In Jiri Wiedermann, Peter van Emde Boas, and Mogens Nielsen, editors, ICALP'99, volume 1644 of LNCS, pages 230--239, Berlin, 1999. Springer-Verlag.
PolyA: True Type Polymorphism for Mobile Ambients - Amtoft, Makholm, Wells (2004) (7 citations) (Correct)
No context found.
L. Cardelli, G. Ghelli, A. D. Gordon. Mobility types for mobile ambients. In J. Wiedermann et al., eds., ICALP'99, vol. 1644 of LNCS. Springer-Verlag, 1999.
PolyA: True Type Polymorphism for Mobile Ambients - Amtoft, Makholm, Wells (2003) (7 citations) (Correct)
No context found.
L. Cardelli, G. Ghelli, A. D. Gordon. Mobility types for mobile ambients. In J. Wiedermann, P. van Emde Boas, M. Nielsen, eds., ICALP'99, vol. 1644 of LNCS. SpringerVerlag, 1999.
PolyA: True Type Polymorphism for Mobile Ambients - Amtoft, Makholm, Wells (2004) (7 citations) (Correct)
No context found.
Cardelli, L., Ghelli, G., and Gordon, A. D. (1999). Mobility types for mobile ambients. In Wiedermann, J., van Emde Boas, P., and Nielsen, M., editors, ICALP'99, volume 1644 of LNCS, pages 230--239. Springer-Verlag. Extended version appears as Microsoft Research Technical Report MSR-TR-99-32, 1999.
Causal Type System for Ambient Movements - Amtoft (2003) (Correct)
No context found.
L. Cardelli, G. Ghelli, and A. D. Gordon. Mobility types for mobile ambients. In J. Wiedermann, P. van Emde Boas, and M. Nielsen, eds., ICALP'99, vol. 1644 of LNCS, pp. 230--239. SpringerVerlag, July
Causal Type System for Ambient Movements - Amtoft (2002) (Correct)
No context found.
L. Cardelli, G. Ghelli, and A. D. Gordon. Mobility types for mobile ambients. In J. Wiedermann, P. van Emde Boas, and M. Nielsen, eds., ICALP'99, vol. 1644 of LNCS, pp. 230--239. Springer-Verlag, July 1999. Extended version appears as Microsoft Research Technical Report MSR-TR-99-32, 1999.
M³: Mobility Types for Mobile Processes in.. - Coppo.. (2002) (Correct)
No context found.
L. Cardelli, G. Ghelli, and A. D. Gordon. Mobility types for mobile ambients. In J. Wiederman, P. van Emde Boas, and M. Nielsen, editors, ICALP'99, volume 1644 of LNCS, pages 230--239, Berlin, 1999. Springer-Verlag.
PolyA: True Type Polymorphism for Mobile Ambients - Amtoft, Makholm, Wells (2003) (7 citations) (Correct)
No context found.
L. Cardelli, G. Ghelli, A. D. Gordon. Mobility types for mobile ambients. In J. Wiedermann, P. van Emde Boas, M. Nielsen, eds., ICALP'99, vol. 1644 of LNCS. Springer-Verlag, 1999. Extended version appears as Microsoft Research Technical Report MSR-TR-99-32, 1999.
The M³ Paradigm - Types and Type Inference.. - Coppo.. (Correct)
No context found.
Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon. Mobility types for mobile ambients. In J. Wiederman, P. van Emde Boas, and M. Nielsen, editors, ICALP'99, volume 1644 of LNCS, pages 230--239, Berlin, 1999. Springer-Verlag.
A Generic Membrane Model - Boudol (2004) (3 citations) (Correct)
No context found.
L. Cardelli, G. Ghelli, A. Gordon, Mobility types for mobile Ambients, ICALP'99, Lecture Notes in Comput. Sci. 1644 (####) 230-239.
Causal Type System for Ambient Movements - Amtoft (2001) (Correct)
No context found.
L. Cardelli, G. Ghelli, and A. D. Gordon. Mobility types for mobile ambients. In J. Wiedermann, P. van Emde Boas, and M. Nielsen, eds., ICALP'99, vol. 1644 of LNCS, pp. 230-239. Springer-Verlag, July 1999. Extended version appears as Microsoft Research Technical Report MSR-TR-99-32, 1999.
Orderly Communication in the Ambient Calculus - Amtoft, Kfoury, Pericas-Geertsen (2001) (Correct)
No context found.
L. Cardelli, G. Ghelli, and A. D. Gordon. Mobility types for mobile ambients. In J. Wiedermann, P. van Emde Boas, and M. Nielsen, eds., ICALP'99, vol. 1644 of LNCS, pp. 230--239. SpringerVerlag, July
Controlling Security Policies in a Distributed Environment - Martins, Vasconcelos (2004) (1 citation) (Correct)
No context found.
L. Cardelli, G. Ghelli, and A. Gordon. Mobility types for mobile ambients. In Proceedings of ICALP'99, volume 1644 of LNCS, pages 230--239. Springer-Verlag, 1999.
Instant Polymorphic Type Systems for Mobile Process Calculi.. - Makholm, Wells (2005) (2 citations) (Correct)
No context found.
L. Cardelli, G. Ghelli, A. D. Gordon. Mobility types for mobile ambients. In J. Wiedermann, P. van Emde Boas, M. Nielsen, eds., ICALP'99, vol. 1644 of LNCS. Springer-Verlag, 1999.
Unknown - Ist- Dynamic Assembly (Correct)
No context found.
Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon. Mobility types for mobile ambients. In Jiri Wiedermann, Peter van Emde Boas, and Mogens Nielsen, editors, ICALP'99, volume 1644 of LNCS, pages 230--239. Springer-Verlag, July 1999. Extended version appears as Microsoft Research Technical Report MSR-TR-99-32, 1999.
A Type Inference Algorithm for Secure Ambients - Barbanera.. (2002) (2 citations) (Correct)
No context found.
Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon. Mobility types for mobile ambients. In ICALP'99, volume 1644 of Lecture Notes in Computer Science, pages 230--239. Springer-Verlag, 1999.
What are Polymorphically-Typed Ambients? - December Torben Amtoft (2001) (Correct)
No context found.
L. Cardelli, G. Ghelli, and A. D. Gordon. Mobility types for mobile ambients. In J. Wiedermann, P. van Emde Boas, and M. Nielsen, eds., ICALP'99, vol. 1644 of LNCS, pp. 230--239. SpringerVerlag, July
Mobile Processes with Dependent Communication Types and.. - Amtoft, Wells (2002) (7 citations) (Correct)
No context found.
L. Cardelli, G. Ghelli, A. D. Gordon. Mobility types for mobile ambients. In J. Wiedermann, P. van Emde Boas, M. Nielsen, eds., ICALP'99, vol. 1644 of LNCS. Springer-Verlag, 1999.
Instant Polymorphic Type Systems for Mobile Process Calculi.. - Makholm, Wells (2004) (2 citations) (Correct)
No context found.
L. Cardelli, G. Ghelli, A. D. Gordon. Mobility types for mobile ambients. In J. Wiedermann, P. van Emde Boas, M. Nielsen, eds., ICALP'99, vol. 1644 of LNCS. Springer-Verlag, 1999.
What are Polymorphically-Typed Ambients? - December Torben Amtoft (2000) (Correct)
No context found.
L. Cardelli, G. Ghelli, and A. D. Gordon. Mobility types for mobile ambients. In J. Wiedermann, P. van Emde Boas, and M. Nielsen, eds., ICALP'99, vol. 1644 of LNCS, pp. 230--239. SpringerVerlag, July
Orderly Communication in the Ambient Calculus - Amtoft, Kfoury, Pericas-Geertsen (2002) (Correct)
No context found.
Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon. Mobility types for mobile ambients. In Jiri Wiedermann, Peter van Emde Boas, and Mogens Nielsen, editors, ICALP'99, volume 1644 of LNCS, pages 230--239. Springer-Verlag, July 1999.
Type Inference for Mobile Ambients in Prolog - Giovannetti (2004) (2 citations) (Correct)
No context found.
L. Cardelli, G. Ghelli, and A. D. Gordon. Mobility Types for Mobile Ambients. In ICALP'99, volume 1644 of LNCS, pages 230--239. Springer-Verlag, 1999.
History-Based Access Control for Distributed Processes - Martins, Vasconcelos (Correct)
No context found.
L. Cardelli, G. Ghelli, and A. Gordon. Mobility types for mobile ambients. In Proceedings of ICALP'99, volume 1644 of LNCS, pages 230--239. Springer-Verlag, 1999.
Instant Polymorphic Type Systems for Mobile Process Calculi.. - Makholm, Wells (2004) (2 citations) (Correct)
No context found.
L. Cardelli, G. Ghelli, A. D. Gordon. Mobility types for mobile ambients. In J. Wiedermann, P. van Emde Boas, M. Nielsen, eds., ICALP'99, vol. 1644 of LNCS. Springer-Verlag, 1999.
Mobile Processes with Dependent Communication Types and.. - Amtoft, Wells (2002) (7 citations) (Correct)
No context found.
L. Cardelli, G. Ghelli, A. D. Gordon. Mobility types for mobile ambients. In J. Wiedermann, P. van Emde Boas, M. Nielsen, eds., ICALP'99, vol. 1644 of LNCS. Springer-Verlag, 1999.
Dynamic and Local Typing for Mobile Ambients - Coppo, Dezani-Ciancaglini.. (2004) (2 citations) (Correct)
No context found.
Cardelli, Luca, Ghelli, Giorgio, and Gordon, Andrew D. (1999). Mobility types for mobile ambients. In Wiedermann, Jiri, van Emde Boas, Peter, and Nielsen, Mogens, editors, ICALP'99, volume 1644 of LNCS, pages 230--239. Springer-Verlag.
Boxed Ambients with Communication Interfaces - Bonelli, Compagnoni.. (2004) (1 citation) (Correct)
No context found.
Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon. Mobility Types for Mobile Ambients. In Jiri Wiedermann, Peter van Emde Boas, and Mogens Nielsen, editors, ICALP'99, volume 1644 of LNCS, pages 230--239, Berlin, 1999. Springer-Verlag.
What are Polymorphically-Typed Ambients? - Amtoft, Kfoury, Pericas-Geertsen (2001) (Correct)
No context found.
L. Cardelli, G. Ghelli, and A. D. Gordon. Mobility types for mobile ambients. In J. Wiedermann, P. van Emde Boas, and M. Nielsen, eds., ICALP'99, vol. 1644 of LNCS, pp. 230--239. Springer-Verlag, July 1999. Extended version appears as Microsoft Research Technical Report MSR-TR-99-32, 1999.
Information Society Technologies - Ist Programme Contract (Correct)
No context found.
L. Cardelli, G. Ghelli, and A. Gordon. Mobility types for mobile ambients. In Proceedings of ICALP'99, number 1644 in Lecture Notes in Computer Science, pages 230--239. Springer, 1999.
Type Inference for Mobile Ambients in Prolog - Giovannetti (2004) (2 citations) (Correct)
No context found.
L. Cardelli, G. Ghelli, and A. D. Gordon. Mobility Types for Mobile Ambients. In ICALP'99, volume 1644 of LNCS, pages 230--239. Springer-Verlag, 1999.
Enforcing Security Policies via Types - Daniele Gorla And (2003) (2 citations) (Correct)
No context found.
L. Cardelli, G. Ghelli, and A. D. Gordon. Mobility types for mobile ambients. In J. Wiederman, P. van Emde Boas, and M. Nielsen, editors, Proceedings of ICALP '99, volume 1644 of LNCS, pages 230--239. Springer, 1999.
Controlling Security Policies in a Distributed Environment - Martins, Vasconcelos (2004) (1 citation) (Correct)
No context found.
L. Cardelli, G. Ghelli, and A. Gordon. Mobility types for mobile ambients. In Proceedings of ICALP'99, volume 1644 of LNCS, pages 230--239. Springer-Verlag, 1999.
A Control Flow Analysis for Safe and Boxed Ambients - Levi, Bodei (2004) (3 citations) (Correct)
No context found.
L. Cardelli, G. Ghelli, and A.D. Gordon. Mobility types for mobile ambients. Proc. of ICALP'99, LNCS 1644, pp. 230-239, 1999.
What are Polymorphically-Typed Ambients? - Amtoft, Kfoury, Pericas-Geertsen (2000) (Correct)
No context found.
L. Cardelli, G. Ghelli, and A. D. Gordon. Mobility types for mobile ambients. In J. Wiedermann, P. van Emde Boas, and M. Nielsen, eds., ICALP'99, vol. 1644 of LNCS, pp. 230--239. SpringerVerlag, July
A Type Inference Algorithm for Secure Ambients - Barbanera.. (2002) (2 citations) (Correct)
No context found.
Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon. Mobility types for mobile ambients. In ICALP'99, volume 1644 of Lecture Notes in Computer Science, pages 230--239. Springer-Verlag, 1999.
Boxed Ambients - Bugliesi, Castagna, Crafa (2001) (61 citations) (Correct)
No context found.
L. Cardelli, G. Ghelli, and A. Gordon. Mobility types for mobile ambients. In Proceedings of ICALP '99, number 1644 in Lecture Notes in Computer Science, pages 230--239. Springer, 1999.
Nomadic π-Calculi: Expressing and Verifying Communication.. - Unyapoth (2001) (Correct)
No context found.
Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon. Mobility types for mobile ambients. In Jir Wiederman, Peter van Emde Boas, and Mogens Nielsen, editors, Proceedings of ICALP '99, volume 1644 of Lecture Notes in Computer Science, pages 230-239. Springer, July 1999.
A Type Inference Algorithm for Secure Ambients - Barbanera.. (2001) (2 citations) (Correct)
No context found.
Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon. Mobility types for mobile ambients. In Jir Wiederman, Peter van Emde Boas, and Mogens Nielsen, editors, ICALP 1999, volume 1644 of Lecture Notes in Computer Science, pages 230-239. Springer-Verlag, 1999. 13
Reasoning about Security in Mobile Ambients - Bugliesi, Castagna, Crafa (2001) (18 citations) (Correct)
No context found.
L. Cardelli, G. Ghelli, and A. Gordon. Mobility types for mobile ambients. In Proceedings of ICALP'99, number 1644 in Lecture Notes in Computer Science, pages 230--239. Springer, 1999.
Information Flow Security in Boxed Ambients - Crafa, Bugliesi, Castagna (2002) (4 citations) (Correct)
No context found.
L. Cardelli, G. Ghelli, and A. Gordon. Mobility types for mobile ambients. In Proceedings of ICALP'99, number 1644 in Lecture Notes in Computer Science, pages 230--239. Springer, 1999.
On Reduction Semantics for the Push and Pull Ambient Calculus - Phillips, Vigliotti (2002) (3 citations) (Correct)
No context found.
L. Cardelli, G. Ghelli, and A.D. Gordon. Mobility types for Mobile Ambients. In Proceedings of ICALP'99, volume 1644 of Lectures Notes in Computer Science, pages 230--239. Springer-Verlag, 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