Citations: Types for the ambient calculus - Cardelli, Ghelli, Gordon (ResearchIndex)

13 citations found. Retrieving documents...

Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon. Types for the ambient calculus. Inf. Comput., 177(2):160--194, 2002.

Home/Search Document Details and Download Summary Related Articles Check

This paper is cited in the following contexts:

Enforcing Security Policies via Types - Daniele Gorla Rosario (2003) (2 citations) (Correct)

....can be sensible and flexible language based security techniques, like [31] shows. Recently, a number of process programming languages supporting process distribution and mobility have been designed that come equipped with type systems that guarantee some kind of security properties, see, e.g. [23, 15, 16, 24, 8]. However, to the best of our knowledge, the type system we present in this paper is the first that exploits the source of mobile processes for granting them di#erent privileges over di#erent kinds of data (thus, e.g. preventing dangerous operations over specific sensible data) These desirable ....

L. Cardelli, G. Ghelli, and A. D. Gordon. Types for the ambient calculus. Journal of Information and Computation, 2002.

Enforcing Security Policies via Types - Daniele Gorla Rosario (2003) (2 citations) (Correct)

....can be sensible and flexible language based security techniques, like [32] shows. Recently, a number of process programming languages supporting process distribution and mobility have been designed that come equipped with type systems that guarantee some kind of security properties, see, e.g. [24, 15, 16, 25, 8]. However, to the best of our knowledge, the type system we present in this paper is the first that exploits the source of mobile processes for granting them di#erent privileges over di#erent kinds of data (thus, e.g. preventing dangerous operations over specific sensible data) These desirable ....

L. Cardelli, G. Ghelli, and A. D. Gordon. Types for the ambient calculus. Journal of Information and Computation, 2002.

Resource Access and Mobility Control with Dynamic Privileges.. - Gorla, Pugliese (2003) (8 citations) (Correct)

.... user must trust the component producer, while sand boxed components are isolated and cannot interact with each other) Recently, a number of languages for mobile processes have been designed that come equipped with security mechanisms (at compilation and or at runtime) based on, e.g. type systems [18, 9, 28], control and data flow analysis [33, 32, 19, 27] and proof carrying code [31] Some sensible and flexible language based security techniques are investigated in [38] We address here the problem of protecting hosts from attacks or misbehavior of mobile processes in distributed and open systems. ....

L. Cardelli, G. Ghelli, and A. D. Gordon. Types for the ambient calculus. Journal of Information and Computation, 2002.

Guardians for Ambient-Based Monitoring - Ferrari, Moggi, Pugliese (2002) (2 citations) (Correct)

....the code of the application. The code is analyzed (either statically or dynamically) against the security policy. The approach ensures that only the code which does not violate the security policy will be granted the opportunity of being executed. The security types for access control of (see e.g. [CGG02,DFPV00,HR98b]) provide nice examples of this approach. Another interesting example is given by the (static and dynamic) techniques employed in modeling Java security permissions (see e.g. WAF00,PSS01,BDF01,GF01] In the approach based on program transformation the operations enforcing the security policies ....

....ambients that are deemed mobile will move and that only ambients that are deemed openable will be opened. In [CGG00] by introducing the notion of group names, the type of an ambient is refined to enable controlling the set of ambients it can cross and the set of ambients it can open. Finally, in [CGG02], all these type systems are reviewed and assessed in a common framework. The safe ambients calculus (SA, LS00,LS] is a variant of MA obtained by adding co capabilities to the base calculus thus enabling the ambient target of a movement or object of an open action to control the interaction. A ....

Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon. Types for the ambient calculus. Journal of Information and Computation, 2002.

CLL: A Concurrent Language Built from Logical Principles - Garg (2005) (Correct)

No context found.

Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon. Types for the ambient calculus. Inf. Comput., 177(2):160--194, 2002.

Controlling Data Movement in Global Computing Applications - Daniele Gorla Rosario (2004) (3 citations) (Correct)