BUGLIESI, Michele

BUGLIESI, Michele  

Dipartimento di Scienze Ambientali, Informatica e Statistica  

Mostra records
Risultati 1 - 20 di 81 (tempo di esecuzione: 0.0 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
A Calculus of Bounded Capacities 1-gen-2003 BUGLIESI, Michele + 4.1 Articolo in Atti di convegno -
A formal specification for Casanova, a language for computer games 1-gen-2012 ORSINI, RenzoBUGLIESI, MicheleABBADI, MOHAMEDSteffinlongo, Enrico + 4.1 Articolo in Atti di convegno -
A subtyping for Extensible Incomplete Objects 1-gen-1999 BUGLIESI, Michele + 2.1 Articolo su rivista -
A Survey of Name-Passing Calculi and Crypto-Primitives 1-gen-2002 BUGLIESI, MicheleFOCARDI, Riccardo + 3.1 Articolo su libro -
A Type System for Discretionary Access Control 1-gen-2009 BUGLIESI, Michele + 2.1 Articolo su rivista -
Abstractions for Distributed Protocol Design 1-gen-2010 BUGLIESI, Michele + 4.1 Articolo in Atti di convegno -
Access Control for Mobile Agents: the Calculus of Boxed Ambients 1-gen-2004 BUGLIESI, Michele + 2.1 Articolo su rivista -
Affine Refinement Types for Authentication and Authorization 1-gen-2013 BUGLIESI, MicheleCALZAVARA, STEFANO + 4.1 Articolo in Atti di convegno -
Affine Refinement Types for Secure Distributed Programming 1-gen-2015 BUGLIESI, MicheleCALZAVARA, STEFANO + 2.1 Articolo su rivista -
An overview of Boxed Ambients 1-gen-2001 BUGLIESI, Michele + 2.1 Articolo su rivista -
Analysis of Typed Analyses of Authentication Protocols 1-gen-2005 BUGLIESI, MicheleFOCARDI, Riccardo + 4.1 Articolo in Atti di convegno -
Authenticity by tagging and typing 1-gen-2004 BUGLIESI, MicheleFOCARDI, Riccardo + 4.1 Articolo in Atti di convegno -
Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I 1-gen-2006 BUGLIESI, Michele + 5.1 Curatela -
Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II 1-gen-2006 BUGLIESI, Michele + 5.1 Curatela -
Automatic and robust client-side protection for cookie-based sessions 1-gen-2014 BUGLIESI, MicheleCALZAVARA, STEFANOFOCARDI, RiccardoKHAN, WILAYAT 4.1 Articolo in Atti di convegno -
Behavioural equivalences and interference metrics for mobile ad-hoc networks 1-gen-2014 BUGLIESI, MicheleGALLINA, LUCIAMARIN, AndreaROSSI, Sabina + 2.1 Articolo su rivista -
Behavioural typing for safe ambients 1-gen-2002 BUGLIESI, Michele + 2.1 Articolo su rivista -
Boxed Ambients 1-gen-2001 BUGLIESI, Michele + 4.1 Articolo in Atti di convegno -
Casanova: a declarative language for safe games 1-gen-2011 MAGGIORE, GIUSEPPEORSINI, RenzoBUGLIESI, Michele 7.02 Rapporto di ricerca -
CCSP: Controlled relaxation of content security policies by runtime policy composition 1-gen-2017 Stefano CalzavaraAlvise RabittiMichele Bugliesi 4.1 Articolo in Atti di convegno -