Resource Access and Mobility Control with Dynamic Privileges Acquisition (2003)

by Daniele Gorla , Rosario Pugliese
Venue:In Proc. of ICALP’03, volume 2719 of LNCS
Citations:26 - 10 self

Active Bibliography

8 Enforcing Security Policies via Types – Daniele Gorla , Rosario Pugliese - 2003
11 Types as Specifications of Access Policies – Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese - 1999
18 Reasoning about security in mobile ambients – Michele Bugliesi, Silvia Crafa - 2001
MIKADO Global Computing Project IST-2001-32222 – Mobile Calculi Based, L. Bettini, M. Lacoste (ftr
5 A Mobility Calculus with Local and Dependent Types – Federico Cozzi, Mariangiola Dezani-ciancaglini, Elio Giovannetti, Rosario Pugliese - 2005
6 Confining Data and Processes in Global Computing Applications – Rocco De Nicola, Daniele Gorla, Rosario Pugliese - 2004
45 Types for Access Control – Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese, Betti Venneri - 2000
16 Information Flow Security in Boxed Ambients – Silvia Crafa, Michele Bugliesi, Giuseppe Castagna - 2004
13 Security Types for Mobile Safe Ambients – M. Dezani-ciancaglini, I. Salvo - 2000
Project funded by the European Community under the ‘Information Society Technologies’ – Ist- Dynamic Assembly, Deliverable No D
6 A Typed Process Calculus for Fine-Grained Resource Access Control in Distributed Computation – Daisuke Hoshina, Eijiro Sumii, Akinori Yonezawa - 2001
23 The Klaim Project: Theory and Practice – Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gianluigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri - 2003
4 Boxed Ambients with Communication Interfaces – Eduardo Bonelli, Adriana Compagnoni, Mariangiola Dezani-ciancaglini, Pablo Garralda - 2004
10 Programming Access Control: The KLAIM Experience – Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese
2 A Middleware for Secure Distributed Tuple Spaces – Lorenzo Bettini, Rocco De Nicola - 2002
30 Types for the Ambient Calculus – Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon - 2001
30 What are polymorphically-typed ambients – Torben Amtoft, Santiago M. Pericas-geertsen, Assaf J. Kfoury - 2000
1 Nomadic Pict: Programming Languages, Communication Infrastructure Overlays, and Semantics for Mobile Computation – Peter Sewell, Pawe̷l T. Wojciechowski, Asis Unyapoth
1 Specifying and Implementing Secure Mobile Applications in the Channel Ambient System – Andrew Nicholas John Brojer Phillips - 2005