R. De Nicola, G. Ferrari, R. Pugliese, and B. Venneri. Types for access control. Theoretical Computer Science, 240(1):215--254, 2000. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents
O'KLAIM: a coordination language with mobile mixins - Bettini, Bono, Venneri (2004) Self-citation (Venneri) (Correct)
No context found.
R. De Nicola, G. Ferrari, R. Pugliese, and B. Venneri. Types for Access Control. Theoretical Computer Science, 240(1):215--254, 2000.
A Modal Logic for Mobile Agents - De Nicola, Loreti Self-citation (De nicola) (Correct)
No context found.
R. De Nicola, G. Ferrari, R. Pugliese, and B. Venneri. Types for Access Control. Theoretical Computer Science, 240(1):215--254, 2000.
A Formal Basis for Reasoning on Programmable QoS - De Nicola, Ferrari.. (2003) Self-citation (De nicola Ferrari Pugliese) (Correct)
No context found.
R. De Nicola, G. Ferrari, R. Pugliese, and B. Venneri. Types for access control. Theoretical Computer Science, 240(1):215--254, June 2000.
History-Based Access Control for Distributed Processes - Martins, Vasconcelos Self-citation (Access) (Correct)
No context found.
R. De Nicola, G. Ferrari, R. Pugliese, and B. Veneri. Types for access control. Theoretical Computer Science, 240(1):215--254, 2000.
History Dependent Automata - Montanari, Pistore (2001) (3 citations) Self-citation (Montanari) (Correct)
No context found.
P. Degano, R. De Nicola, and U. Montanari. A partial ordering sematics for CCS. Theoretical Computer Science, 75:223--262, 1990.
Resources Negotiation in Systems of Mobile Components - Ferrari, Tuosto (2004) Self-citation (Ferrari) (Correct)
No context found.
R. De Nicola, G. Ferrari, R. Pugliese, and B. Venneri. Types for access control. Theoretical Computer Science, 240(1):215--254, June 2000.
O'KLAIM: a coordination language with mobile mixins - Bettini, Bono, Venneri (2004) Self-citation (Venneri) (Correct)
No context found.
R. De Nicola, G. Ferrari, R. Pugliese, and B. Venneri. Types for Access Control. Theoretical Computer Science, 240(1):215--254, 2000.
Resource Access and Mobility Control with Dynamic.. - Gorla, Pugliese (2003) (8 citations) Self-citation (Pugliese Access) (Correct)
No context found.
R. De Nicola, G. Ferrari, R. Pugliese, and B. Venneri. Types for Access Control. Theoretical Computer Science, 240(1):215--254, 2000.
Enforcing Security Policies via Types - Daniele Gorla And (2003) (2 citations) Self-citation (Pugliese) (Correct)
No context found.
R. De Nicola, G. Ferrari, R. Pugliese, and B. Venneri. Types for Access Control. Theoretical Computer Science, 240(1):215--254, 2000.
MoMi - A Calculus for Mobile Mixins - Bettini, Bono, Venneri (2004) (2 citations) Self-citation (Venneri) (Correct)
No context found.
R. De Nicola, G. Ferrari, R. Pugliese, and B. Venneri. Types for Access Control. Theoretical Computer Science, 240(1):215--254, 2000.
MoMi: A Calculus for Mobile Mixins - Bettini, Bono, Venneri (2002) (2 citations) Self-citation (Venneri) (Correct)
No context found.
R. De Nicola, G. Ferrari, R. Pugliese, and B. Venneri. Types for Access Control. Theoretical Computer Science, 240(1):215--254, 2000.
Manifest Security for Distributed Information - Crary, Harper, Pfenning (2006) (Correct)
No context found.
R. De Nicola, G. Ferrari, R. Pugliese, and B. Venneri. Types for access control. Theoretical Computer Science, 240(1):215--254, 2000.
Manifest Security for Distributed Information - Crary, Harper, Pfenning.. (2006) (Correct)
No context found.
R. De Nicola, G. Ferrari, R. Pugliese, and B. Venneri. Types for access control. Theoretical Computer Science, 240(1):215--254, 2000.
Electronic Notes in Theoretical Computer Science 85 No. 1 (2003) - Url Http Www (Correct)
No context found.
Rocco De Nicola, GianLuigi Ferrari, Rosario Pugliese, and Betti Veneri. Types for access control. Theoretical Computer Science, 240(1):215--254, 2000.
The M-calculus: A Higher-Order Distributed Process Calculus - Schmitt, Stefani (2003) (6 citations) (Correct)
No context found.
R. De Nicola, G.L. Ferrari, R. Pugliese, and B.. Venneri. Types for Access Control. Theoretical Computer Science, Vol. 240, no 1, 2000.
Typing Migration Control in lsdπ - Martins, Ravara (Correct)
No context found.
R. De Nicola, G. Ferrari, R. Pugliese, and B. Venneri. Types for access control. Theoretical Computer Science, 1(240):215--254, 2000.
A Calculus of Bounded Capacities - Barbanera, Bugliesi, al. (2003) (384 citations) (Correct)
No context found.
De Nicola, Rocco, Ferrari, Gianluigi, Pugliese, Rosario, & Venneri, Betti. (2000). Types for access control. Theoretical Computer Science, 240(1), 215--254.
A Survey of Some Implementation Techniques for Security Membranes - Lacoste (Correct)
No context found.
R. De Nicola, G. Ferrari, R. Pugliese, and B. Venneri. Types for Access Control. Theoretical Computer Science, 240(1):215--254, 2000.
Controlling Security Policies in a Distributed Environment - Martins, Vasconcelos (2004) (1 citation) (Correct)
No context found.
R. De Nicola, G. Ferrari, R. Pugliese, and B. Veneri. Types for access control. Theoretical Computer Science, 240(1):215--254, 2000.
Static Control of Code Migration - Francisco Martins And (Correct)
No context found.
R. De Nicola, G. Ferrari, R. Pugliese, and B. Venneri. Types for access control. Theoretical Computer Science, 1(240):215--254, 2000.
Lexically Scoped Distribution: What You See is What You.. - Ravara, Matos.. (2003) (Correct)
No context found.
Rocco De Nicola, GianLuigi Ferrari, Rosario Pugliese, and Betti Veneri. Types for access control. Theoretical Computer Science, 240(1):215--254, 2000.
MIKADO Global Computing Project IST-2001-32222 - Mobile Calculi Based (Correct)
No context found.
R. De Nicola, G. Ferrari, R. Pugliese, and B. Venneri. Types for Access Control. Theoretical Computer Science, 240(1):215--254, 2000.
The M-calculus: A Higher-Order Distributed Process Calculus - Schmitt, Stefani (2002) (6 citations) (Correct)
No context found.
R. De Nicola, G.L. Ferrari, R. Pugliese, and B. Venneri. Types for Access Control. Theoretical Computer Science, Vol. 240, no 1, 2000.
Controlling Security Policies in a Distributed Environment - Martins, Vasconcelos (2004) (1 citation) (Correct)
No context found.
R. De Nicola, G. Ferrari, R. Pugliese, and B. Veneri. Types for access control. Theoretical Computer Science, 240(1):215--254, 2000.
The M-calculus: A Higher-Order Distributed Process Calculus - Schmitt, Stefani (2003) (6 citations) (Correct)
No context found.
R. De Nicola, G.L. Ferrari, R. Pugliese, and B. Venneri. Types for Access Control. Theoretical Computer Science, Vol. 240, no 1, 2000.
First 50 documents
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