M. Bugliesi, G. Castagna, and S. Crafa. Reasoning about security in mobile ambients. In CONCUR  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)
.... 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 restricting the mobility of values processes only to some part of a distributed ....
M. Bugliesi, G. Castagna, and S. Crafa. Reasoning about security in mobile ambients. In Concur 2001, number 2154 in LNCS, pages 102--120. Springer, 2001.
Enforcing Security Policies via Types - Daniele Gorla Rosario (2003) (2 citations) (Correct)
.... more strictly related to security, we mention those disciplining the types of the values exchanged in communications [9, 3, 25] those for controlling Ambients [10] mobility and ability to be opened [6, 7, 27, 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 [37] that for controlling the e#ect of transmitted process abstractions over local channels [38] and that for restricting the mobility of values processes only to some part of a distributed ....
M. Bugliesi, G. Castagna, and S. Crafa. Reasoning about security in mobile ambients. In Concur 2001, number 2154 in LNCS, pages 102--120. Springer, 2001.
Resource Access and Mobility Control with Dynamic Privileges.. - Gorla, Pugliese (2003) (8 citations) (Correct)
.... to security we recall those disciplining the types of the values exchanged in communications [5, 4] those for controlling ambients mobility and ability to be opened [6, 17, 12, 7] and that for controlling resources access via policies for mandatory access control based on ambients security levels [3]. Acknowledgements. We thank the anonymous referees for their useful comments. ....
M. Bugliesi, G. Castagna, and S. Crafa. Reasoning about security in mobile ambients. In Proceedings of CONCUR 2001, number 2154 in LNCS, pages 102--120. Springer, 2001.
Resource Access and Mobility Control with Dynamic Privileges.. - Gorla, Pugliese (2003) (8 citations) (Correct)
.... we recall those disciplining the types of the values exchanged in communications [10, 5] those for controlling ambients mobility and ability to be opened [7, 8, 30, 21, 12] and that for controlling resources access via policies for mandatory access control based on ambients security levels [6]. However, the Mobile Ambients calculus and its variants are quite di#erent from Klaim, mainly because they assume an hierarchically organized net architecture where nodes (i.e. ambients) and the enclosed part of the net move as a whole, and because communication is restricted within ambients ....
M. Bugliesi, G. Castagna, and S. Crafa. Reasoning about security in mobile ambients. In Concur 2001, number 2154 in LNCS, pages 102--120. Springer, 2001.
Guardians for Ambient-Based Monitoring - Ferrari, Moggi, Pugliese (2002) (2 citations) (Correct)
....the propagation of access rights by ensuring that the permissions are in accordance with the local security policies. In this paper, to demonstrate the applicability of the approach we introduce a calculus of guardians. We choose as starting point of our investigation the Boxed Ambient (BA) [BCC01a,BCC01b]. This variant of the mobile ambients calculus [CG00b] drops the open capability and introduce fine grain mechanisms for ambient interactions (inspired by the Seal calculus [CV99] These changes provide better support for the specification of security policies. The calculus of guardians preserves ....
.... allow , choice and recursion ) The and combinator is not used in the examples. It could be used to compose guardians implementing elementary policies into more structured ones, as it is the case for passive composition of wrappers [FBF99] 4. 1 Firewall The firewall protocol (see [CG99,LS00,BCC01b]) has been introduced to examine which are the activities needed to control accesses through a firewall. In this protocol, ambient f describes a firewall and we assume that the name of the firewall must always remain unknown. An external agent a can enter the firewall f through a pilot ambient k, ....
[Article contains additional citation context not shown here]
Michele Bugliesi, Giuseppe Castagna, and Silvia Crafa. Reasoning about security in mobile ambients. In Concur 2001, number 2154 in Lecture Notes in Computer Science, pages 102--120. Springer, 2001.
Secrecy in Untrusted Networks - Michele Bugliesi Silvia (2003) (1 citation) Self-citation (Bugliesi Crafa) (Correct)
No context found.
M. Bugliesi, G. Castagna, and S. Crafa. Reasoning about security in mobile ambients. In Proceedings of CONCUR 2001, number 2154 in LNCS, pages 102--120. Springer-Verlag, 2001.
Boxed Ambients - Bugliesi, Castagna, Crafa (2001) (61 citations) Self-citation (Bugliesi Castagna Crafa) (Correct)
No context found.
M. Bugliesi, G. Castagna, and S. Crafa. Reasoning about security in mobile ambients. In CONCUR 2001 (12th. International Conference on Concurrency Theory), number 2154 in Lecture Notes in Computer Science, pages 102--120, Aahrus, Danemark, 2001. Springer.
Information Flow Security in Boxed Ambients - Crafa, Bugliesi, Castagna (2002) (4 citations) Self-citation (Bugliesi Castagna Crafa) (Correct)
No context found.
M. Bugliesi, G. Castagna, and S. Crafa. Reasoning about security in mobile ambients. In CONCUR 2001 (12th. International Conference on Concurrency Theory), number 2154 in Lecture Notes in Computer Science, pages 102--120, Aalborg, Danemark, 2001. Springer.
Information Flow Security in Boxed Ambients - Crafa, Bugliesi, Castagna (2003) (4 citations) Self-citation (Bugliesi Castagna Crafa) (Correct)
....space : the local channel is private to the ambient, whereas the upward channel is available for access by clients. By relying on this interpretation, one can formalize a precise notion of resource access, namely: j # l 4X is a read access to whereas g( 4X is a write access. In [5] we showed that BA provides an effective framework for resource access security: specifically, we used a typed version of BA to model multilevel Mandatory Access Control (MAC) policies, including both military (no read up, no writedown) and commercial (no read up, no write up) security . Boxed ....
....security: specifically, we used a typed version of BA to model multilevel Mandatory Access Control (MAC) policies, including both military (no read up, no writedown) and commercial (no read up, no write up) security . Boxed Ambients and Information Flow Security The type system we defined in [5] was targeted at resource access control, and specifically designed to protect resources, viz. channels, from undesired uses by unauthorized clients. Here, we change perspective, and focus on a different analysis that targets information flow. To motivate the change in perspective, consider the ....
[Article contains additional citation context not shown here]
M. Bugliesi, G. Castagna, and S. Crafa. Reasoning about security in mobile ambients. In CONCUR 2001 (12th. International Conference on Concurrency Theory), number 2154 in Lecture Notes in Computer Science, pages 102--120, Aalborg, Danemark, 2001. Springer.
Causal Type System for Ambient Movements - Amtoft (2003) (Correct)
No context found.
M. Bugliesi, G. Castagna, and S. Crafa. Reasoning about security in mobile ambients. In CONCUR
Causal Type System for Ambient Movements - Amtoft (2002) (Correct)
No context found.
M. Bugliesi, G. Castagna, and S. Crafa. Reasoning about security in mobile ambients. In CONCUR 2001, vol. 2154 of LNCS, pp. 102--120. SpringerVerlag, 2001.
Causal Type System for Ambient Movements - Amtoft (2001) (Correct)
No context found.
M. Bugliesi, G. Castagna, and S. Crafa. Reasoning about security in mobile ambients. In CONCUR 2001, vol. 2154 of LNCS, pp. 102-120. SpringerVerlag, 2001.
A Type Inference Algorithm for Secure Ambients - Barbanera.. (2002) (2 citations) (Correct)
No context found.
Michele Bugliesi, Giuseppe Castagna, and Silvia Crafa. Reasoning about security in mobile ambients. In CONCUR'01, volume 2154 of Lecture Notes in Computer Science, pages 102--120. Springer-Verlag, 2001.
Typing and Subtyping Mobility in Boxed Ambients - Merro, Sassone (2002) (11 citations) (Correct)
No context found.
M. Bugliesi, G. Castagna and S. Crafa. Reasoning about security in mobile ambients. In Proc. CONCUR 2001, volume 2154 Lecture Notes in Computer Science, Springer, 2001.
Resources Negotiation in Systems of Mobile Components - Ferrari, Tuosto (2004) (Correct)
No context found.
M. Bugliesi, G. Castagna, and S. Crafa. Reasoning about security in mobile ambients. In CONCUR, volume LNCS 2154, pages 102--120. Springer, 2001.
The Klaim Project: Theory and Practice - Bettini, Bono, De Nicola.. (2003) (1 citation) (Correct)
No context found.
M. Bugliesi, G. Castagna, and S. Crafa. Reasoning about security in mobile ambients. In Concur 2001, number 2154 in LNCS, pages 102--120. Springer, 2001.
Resource Access and Mobility Control with Dynamic.. - Gorla, Pugliese (2003) (8 citations) (Correct)
No context found.
M. Bugliesi, G. Castagna, and S. Crafa. Reasoning about security in mobile ambients. In Concur 2001.
The Mob_adtl model and method to design network.. - Ferrari.. (2003) (Correct)
No context found.
M. Bugliesi, G. Castagna, and S. Crafa. Reasoning about security in mobile ambients. In Concur 2001.
Enforcing Security Policies via Types - Daniele Gorla And (2003) (2 citations) (Correct)
No context found.
M. Bugliesi, G. Castagna, and S. Crafa. Reasoning about security in mobile ambients. In Concur 2001, number 2154 in LNCS, pages 102--120. Springer, 2001.
Typing and Subtyping Mobility in Boxed Ambients - Merro, Sassone (2002) (11 citations) (Correct)
No context found.
M. Bugliesi, G. Castagna and S. Crafa. Reasoning about security in mobile ambients. In Proc. CONCUR 2001, volume 2154 Lecture Notes in Computer Science, Springer, 2001.
A Type Inference Algorithm for Secure Ambients - Barbanera.. (2002) (2 citations) (Correct)
No context found.
Michele Bugliesi, Giuseppe Castagna, and Silvia Crafa. Reasoning about security in mobile ambients. In CONCUR'01, volume 2154 of Lecture Notes in Computer Science, pages 102--120. Springer-Verlag, 2001.
A Type Inference Algorithm for Secure Ambients - Barbanera.. (2001) (2 citations) (Correct)
No context found.
Michele Bugliesi, Giuseppe Castagna, and Silvia Crafa. Reasoning about security in mobile ambients. In Kim G. Larsen and Mogens Nielsen, editors, Proceedings of CONCUR 2001, volume 2154 of Lecture Notes in Computer Science, pages 102-120. Springer-Verlag, 2001.
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