G. Castagna, G. Ghelli, F. Z. Nardelli. Typing mobility in the Seal calculus. In K. G. Larsen, M. Nielsen, eds., CONCUR, vol. 2154 of LNCS. Springer-Verlag, 2001. 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)
....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 ....
G. Castagna, G. Ghelli, and F. Z. Nardelli. Typing mobility in the seal calculus. In Concur 2001, number 2154 in LNCS, pages 82--101. Springer, 2001.
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, 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 ....
G. Castagna, G. Ghelli, and F. Z. Nardelli. Typing mobility in the seal calculus. In Concur 2001, number 2154 in LNCS, pages 82--101. Springer, 2001.
Resource Access and Mobility Control with Dynamic Privileges.. - Gorla, Pugliese (2003) (8 citations) (Correct)
....their network models and mobility mechanisms are very di#erent from those of Klaim. Among the type systems more strictly related 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. ....
G. Castagna, G. Ghelli, and F. Z. Nardelli. Typing mobility in the seal calculus. In Proceedings of CONCUR 2001, number 2154 in LNCS, pages 82--101. Springer, 2001.
Resource Access and Mobility Control with Dynamic Privileges.. - Gorla, Pugliese (2003) (8 citations) (Correct)
....number of type systems have been proposed for the Mobile Ambients calculus [11] and its variants. Among those more strictly related to security 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 ....
G. Castagna, G. Ghelli, and F. Z. Nardelli. Typing mobility in the seal calculus. In Concur 2001, number 2154 in LNCS, pages 82--101. Springer, 2001.
Guardians for Ambient-Based Monitoring - Ferrari, Moggi, Pugliese (2002) (2 citations) (Correct)
....dropped, ambient communication relies on located channels and can also take place across ambient boundaries (between parent and children) and ambient mobility is objective (an ambient is moved by a process in the parent ambient) and implemented in terms of agents (higher order) communication. In [CGN01], interface types are introduced for describing the requests that an ambient may accept from its surrounding environment and are then used to type mobile ambients and their mobility , i.e. to allow one to declare, for each ambient, the type of the ambients that can enter or exit it. Finally, a ....
Giuseppe Castagna, Giorgio Ghelli, and Francesco Zappa Nardelli. Typing mobility in the seal calculus. In Concur 2001, number 2154 in Lecture Notes in Computer Science, pages 82--101. Springer, 2001.
The Seal Calculus Revisited: contextual equivalence and.. - Castagna, Nardelli (2003) (12 citations) Self-citation (Castagna Nardelli) (Correct)
No context found.
G. Castagna, G. Ghelli, and F. Zappa Nardelli. Typing mobility in the Seal Calculus. In 12th. International Conference on Concurrency Theory, number 2154 in Lecture Notes in Computer Science, pages 82--101, Springer, 2001.
Boxed Ambients - Bugliesi, Castagna, Crafa (2001) (61 citations) Self-citation (Castagna) (Correct)
No context found.
G. Castagna, G. Ghelli, and F. Zappa. Typing mobility in the Seal Calculus. In CONCUR 2001 (12th. International Conference on Concurrency Theory), number 2154 in Lecture Notes in Computer Science, pages 82--101, Aahrus, Danemark, 2001. Springer.
Reasoning about Security in Mobile Ambients - Bugliesi, Castagna, Crafa (2001) (18 citations) Self-citation (Castagna) (Correct)
No context found.
G. Castagna, G. Ghelli, and F. Zappa Nardelli. Typing mobility in the seal calculus. In CONCUR 2001 (12th. International Conference on Concurrency Theory), Lecture Notes in Computer Science, Aahrus, Danemark, 2001. Springer. This same volume.
Information Flow Security in Boxed Ambients - Crafa, Bugliesi, Castagna (2002) (4 citations) Self-citation (Castagna) (Correct)
No context found.
G. Castagna, G. Ghelli, and F. Zappa. Typing mobility in the Seal Calculus. In CONCUR 2001 (12th. International Conference on Concurrency Theory), number 2154 in Lecture Notes in Computer Science, pages 82--101, Aalborg, Danemark, 2001. Springer.
Information Flow Security in Boxed Ambients - Crafa, Bugliesi, Castagna (2003) (4 citations) Self-citation (Castagna) (Correct)
....type system for BA, whose well typed processes are proved in Section 4 to be interference free. Sections 5 and 6 are dedicated to related work and conclusions. 2 Boxed Ambients In this section we review the syntax of Boxed Ambients from [4] and we present a new reduction semantics, borrowed from [11] (where it was first introduced for the Seal Calculus) and defined in terms of new rules for communication across ambient boundaries. The new calculus still adheres the principle of resource locality distinctive of the original calculus, while at the same time providing ambients with full control ....
G. Castagna, G. Ghelli, and F. Zappa. Typing mobility in the Seal Calculus. In CONCUR 2001 (12th. International Conference on Concurrency Theory), number 2154 in Lecture Notes in Computer Science, pages 82--101, Aalborg, Danemark, 2001. Springer.
Instant Polymorphic Type Systems for Mobile Process Calculi.. - Makholm, Wells (2005) (2 citations) (Correct)
No context found.
G. Castagna, G. Ghelli, F. Z. Nardelli. Typing mobility in the Seal calculus. In K. G. Larsen, M. Nielsen, eds., CONCUR, vol. 2154 of LNCS. Springer-Verlag, 2001.
Instant Polymorphic Type Systems for Mobile Process Calculi.. - Makholm, Wells (2004) (2 citations) (Correct)
No context found.
G. Castagna, G. Ghelli, F. Z. Nardelli. Typing mobility in the Seal calculus. In K. G. Larsen, M. Nielsen, eds., CONCUR, vol. 2154 of LNCS. Springer-Verlag, 2001.
Typing and Subtyping Mobility in Boxed Ambients - Merro, Sassone (2002) (11 citations) (Correct)
No context found.
G. Ghelli G. Castagna and F. Zappa Nardelli. Typing mobility in the seal calculus. In Proc. CONCUR 2001, volume 2154 Lecture Notes in Computer Science, Springer, 2001.
Instant Polymorphic Type Systems for Mobile Process Calculi.. - Makholm, Wells (2004) (2 citations) (Correct)
No context found.
G. Castagna, G. Ghelli, F. Z. Nardelli. Typing mobility in the Seal calculus. In K. G. Larsen, M. Nielsen, eds., CONCUR, vol. 2154 of LNCS. Springer-Verlag, 2001.
Resources Negotiation in Systems of Mobile Components - Ferrari, Tuosto (2004) (Correct)
No context found.
G. Ghelli, G. Castagna, and F. Zappa-Nardelli. Typing mobility in the seal calculus. In CONCUR, volume LNCS 2154, pages 82--101. Springer, 2001.
Ambient Calculi with Types: a Tutorial - Giovannetti (2003) (2 citations) (Correct)
No context found.
G. Castagna, G. Ghelli, and F. Zappa Nardelli. Typing Mobility in the Seal Calculus. In CONCUR 2001, volume 2154 of LNCS, pages 82--101. Springer-Verlag, 2001.
The Klaim Project: Theory and Practice - Bettini, Bono, De Nicola.. (2003) (1 citation) (Correct)
No context found.
G. Castagna, G. Ghelli, and F. Zappa Nardelli. Typing mobility in the seal calculus. In Concur 2001, number 2154 in LNCS, pages 82--101. Springer, 2001.
Resource Access and Mobility Control with Dynamic.. - Gorla, Pugliese (2003) (8 citations) (Correct)
No context found.
G. Castagna, G. Ghelli, and F. Z. Nardelli. Typing mobility in the seal calculus. In Concur 2001.
The Mob_adtl model and method to design network.. - Ferrari.. (2003) (Correct)
No context found.
G. Castagna, G. Ghelli, and F. Zappa Nardelli. Typing mobility in the seal calculus. In Concur 2001.
Enforcing Security Policies via Types - Daniele Gorla And (2003) (2 citations) (Correct)
No context found.
G. Castagna, G. Ghelli, and F. Z. Nardelli. Typing mobility in the seal calculus. In Concur 2001, number 2154 in LNCS, pages 82--101. Springer, 2001.
Typing and Subtyping Mobility in Boxed Ambients - Merro, Sassone (2002) (11 citations) (Correct)
No context found.
G. Ghelli G. Castagna and F. Zappa Nardelli. Typing mobility in the seal calculus. In Proc. CONCUR 2001, volume 2154 Lecture Notes in Computer Science, Springer, 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