D. Gorla and R. Pugliese. Resource access and mobility control with dynamic privileges acquisition. In Proc. of ICALP'03, volume 2719 of LNCS, pages 119--132. Springer-Verlag, 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
On the Expressive Power of Klaim-based Calculi - De Nicola, Gorla, al. (2004) Self-citation (Gorla Pugliese) (Correct)
No context found.
D. Gorla and R. Pugliese. Resource access and mobility control with dynamic privileges acquisition. In Proc. of ICALP'03, volume 2719 of LNCS, pages 119--132. Springer-Verlag, 2003.
Security Policies as Membranes in Systems for Global.. - Gorla, Hennessy, Sassone (2004) Self-citation (Gorla) (Correct)
No context found.
D. Gorla and R. Pugliese. Resource access and mobility control with dynamic privileges acquisition. In Proc. of ICALP'03, volume 2719 of LNCS, pages 119--132. Springer-Verlag, 2003.
Security Policies as Membranes in Systems for Global Computing - Gorla, al. (2004) Self-citation (Gorla) (Correct)
No context found.
D. Gorla and R. Pugliese. Resource access and mobility control with dynamic privileges acquisition. In Proc. of ICALP'03, volume 2719 of LNCS, pages 119--132. SpringerVerlag, 2003.
MIKADO Global Computing Project IST-2001-32222 - Mobile Calculi Based Self-citation (Gorla) (Correct)
No context found.
D. Gorla and R. Pugliese. Resource access and mobility control with dynamic privileges acquisition. Research report, Dipartimento di Sistemi e Informatica, Universit a di Firenze, 2002. Available at http://rap.dsi.unifi.it/pugliese/DOWNLOAD/muklaim-full.pdf. An extended abstract appeared in the Proceedings of ICALP'03, LNCS 2719.
The Klaim Project: Theory and Practice - Bettini, Bono, De Nicola.. (2003) (1 citation) Self-citation (Gorla Pugliese) (Correct)
No context found.
D. Gorla and R. Pugliese. Resource access and mobility control with dynamic privileges acquisition. Research report, Dipartimento di Sistemi e Informatica, Universita di Firenze, 2003. Available at http://rap.dsi.unifi.it/~pugliese/DOWNLOAD/muklaim-full.pdf. An extended abstract appeared in Proceedings of ICALP'03, LNCS, Springer, 2003.
Enforcing Security Policies via Types - Daniele Gorla And (2003) (2 citations) Self-citation (Gorla Pugliese) (Correct)
No context found.
D. Gorla and R. Pugliese. Resource access and mobility control with dynamic privileges acquisition. Research report, Dipartimento di Sistemi e Informatica, Universita di Firenze, 2002. Available at http://rap.dsi.unifi.it/pugliese/DOWNLOAD/muklaim-full.pdf.
A Semantic Theory for Global Computing Systems - Gorla, Pugliese (2004) Self-citation (Gorla Pugliese) (Correct)
No context found.
D. Gorla and R. Pugliese. Resource access and mobility control with dynamic privileges acquisition. In J. Baeten, J. Lenstra, J. Parrow, and G. Woeginger, editors, Proc. of 30th International Colloquium on Automata, Languages and Programming (ICALP'03), volume 2719 of LNCS, pages 119--132. Springer-Verlag, 2003.
Enforcing Security Policies via Types - Daniele Gorla Rosario (2003) (2 citations) Self-citation (Gorla Pugliese) (Correct)
....privileges and di#erent files can be manipulated with di#erent allowed operations. Our type system permits expressing and enforcing security policies for controlling the access of host resources by possibly malicious mobile processes. It is expressly designed for the process calculus Klaim [21] that puts forward a programming paradigm where there is a clear separation between the programmer level and the net coordinator administrator level. Programmers write processes, while coordinators write nets, hence manage the initial distribution of processes and set the security policies for ....
....out(t) # eval(P) # newloc(u : #) T : F F, T (templates) F : f x u : # (template fields) t : f f, t (tuples) f : e # (tuple fields) Table 1. Klaim Syntax 2 The Process Language Klaim In this section we briefly present the syntax and informally describe the semantics of Klaim [21], a calculus to program distributed and mobile processes communicating asynchronously via shared data. The syntax of Klaim is reported in Table 1. We assume the existence of the following countable sets: A, process identifiers, ranged over by A, B, L, localities, ranged over by l; U ....
[Article contains additional citation context not shown here]
D. Gorla and R. Pugliese. Resource access and mobility control with dynamic privileges acquisition. Research report, Dipartimento di Sistemi e Informatica, Universita di Firenze, 2002. Available at http://rap.dsi.unifi.it/~pugliese/DOWNLOAD/muklaim-full.pdf.
Enforcing Security Policies via Types - Daniele Gorla Rosario (2003) (2 citations) Self-citation (Gorla Pugliese) (Correct)
....privileges and di#erent files can be manipulated with di#erent allowed operations. Our type system permits expressing and enforcing security policies for controlling the access of host resources by possibly malicious mobile processes. It is expressly designed for the process calculus Klaim [21] that puts forward a programming paradigm where there is a clear separation between the programmer level and the net coordinator administrator level. Programmers write processes, while coordinators write nets, hence manage the initial distribution of processes and set the security policies for ....
....remarks and comment on related work. Due to lack of space, in this extended abstract we omit some technical details and all proofs; they can be found in the full paper [22] 2 The Process Language Klaim In this section we briefly present the syntax and informally describe the semantics of Klaim [21], a calculus to program distributed and mobile processes communicating asynchronously via shared data. Due to lack of space, some formal aspects (akin to those presented in [21] are omitted. The syntax of Klaim is reported in Table 1. We assume the existence of the following countable sets: A, ....
[Article contains additional citation context not shown here]
D. Gorla and R. Pugliese. Resource access and mobility control with dynamic privileges acquisition. Research report, Dipartimento di Sistemi e Informatica, Universita di Firenze, 2002. Available at http://rap.dsi.unifi.it/~pugliese/DOWNLOAD/muklaim-full.pdf.
Resource Access and Mobility Control with Dynamic Privileges.. - Gorla, Pugliese (2003) (8 citations) Self-citation (Gorla Pugliese) (Correct)
.... [19] and TuCSoN [18] Klaim programming paradigm enjoys a number of properties, such as time uncoupling, destination uncoupling, space uncoupling, modularity, scalability and flexibility, that make the language appealing for open distributed systems and network computing environments (see, e.g. [11, 14]) where, in general, connections are not stable and host machines are heterogenous. In conclusion, we think it is worthwhile to investigate the Klaim paradigm, also because its Work partially supported by EU FET Global Computing initiative, project MIKADO IST 200132222, and by MIUR project ....
....this task is carried on by a static type inference system. Because of lack of space, we shall omit from this extended abstract several details and all proofs, and present a version of the calculus where communications exchange tuples with only one field; a thorough presentation can be found in [14]. 2 Klaim Syntax The syntax of Klaim, given in Table 1, is parameterized with respect to the following syntactic sets, which we assume to be countable and pairwise disjoint: A, of process identifiers, ranged over by A, B, L, of localities, ranged over by l; of locality variables, ....
[Article contains additional citation context not shown here]
D. Gorla and R. Pugliese. Resource access and mobility control with dynamic privileges acquisition. Research report, Dipartimento di Sistemi e Informatica, Universita di Firenze, 2003. Available at http://rap.dsi.unifi.it/~pugliese/DOWNLOAD/muklaim-full.pdf.
Typing Migration Control in lsdπ - Martins, Ravara (Correct)
No context found.
D. Gorla and R. Pugliese. Resource access and mobility control with dynamic privileges acquisition. In Proc. of 30th ICALP'03, volume 2719 of LNCS, pages 119--132. Springer-Verlag, 2003.
A Survey of Some Implementation Techniques for Security Membranes - Lacoste (Correct)
No context found.
D. Gorla and R. Pugliese. Resource Access and Mobility Control with Dynamic Privileges Acquisition. In Proceedings International Colloquium on Automata, Languages and Programming (ICALP'03), 2003.
Controlling Security Policies in a Distributed Environment - Martins, Vasconcelos (2004) (1 citation) (Correct)
No context found.
D. Gorla and R. Pugliese. Resource access and mobility control with dynamic privileges acquisition. In Proceedings of ICALP'03, volume 2719 of LNCS, pages 119--132. Springer-Verlag, 2003.
Static Control of Code Migration - Francisco Martins And (Correct)
No context found.
D. Gorla and R. Pugliese. Resource access and mobility control with dynamic privileges acquisition. In Proc. of 30th ICALP'03, volume 2719 of Lecture Notes in Computer Science, pages 119--132. Springer-Verlag, 2003.
History-Based Access Control for Distributed Processes - Martins, Vasconcelos (Correct)
No context found.
D. Gorla and R. Pugliese. Resource access and mobility control with dynamic privileges acquisition. In Proceedings of ICALP'03, volume 2719 of LNCS, pages 119--132. SpringerVerlag, 2003.
Security-Aware Program Transformations - Bartoletti, Degano, Ferrari (2003) (Correct)
No context found.
D. Gorla and R. Pugliese. Resource access and mobility control with dynamic privileges acquisition. In Proc. 30th International Colloquium on Automata, Languages and Programming (ICALP'03), volume 2719 of LNCS. Springer-Verlag, 2003.
SECCO 2003 Preliminary Version - Formal Approach For (Correct)
No context found.
Daniele Gorla and Rosario Pugliese. Resource Access and Mobility Control with Dynamic Privileges Acquisition. In Proc. of the Int. Colloquium on Automata, Languages and Programming (ICALP'03), LNCS, 2003. To appear.
Controlling Security Policies in a Distributed Environment - Martins, Vasconcelos (2004) (1 citation) (Correct)
No context found.
D. Gorla and R. Pugliese. Resource access and mobility control with dynamic privileges acquisition. In Proceedings of ICALP'03, volume 2719 of LNCS, pages 119--132. Springer-Verlag, 2003.
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