Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 86
Titolo Data di pubblicazione Autori Tipo File Abstract
Compliance Preorders for Web Services. 1-gen-2009 BUGLIESI, MicheleMACEDONIO, DamianoROSSI, Sabina + 4.1 Articolo in Atti di convegno -
Secrecy and Authenticity Types for Secure Distributed Messaging 1-gen-2010 BUGLIESI, MicheleCALZAVARA, StefanoMACEDONIO, Damiano 4.1 Articolo in Atti di convegno -
Channel Abstractions for Network Security 1-gen-2010 BUGLIESI, MicheleFOCARDI, Riccardo 2.1 Articolo su rivista -
Abstractions for Distributed Protocol Design 1-gen-2010 BUGLIESI, Michele + 4.1 Articolo in Atti di convegno -
Monadic Scripting in F# for Computer Games 1-gen-2011 MAGGIORE, GIUSEPPEBUGLIESI, MicheleORSINI, Renzo 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 -
Designing Casanova: a language for games 1-gen-2011 Alvise SpanòORSINI, RenzoBUGLIESI, MicheleABBADI, MOHAMED + 4.1 Articolo in Atti di convegno -
Type-Flow Analysis for Legacy Cobol Code 1-gen-2011 SPANO', ALVISEBUGLIESI, MicheleCORTESI, Agostino 4.1 Articolo in Atti di convegno -
Resource-Aware Authorization Policies for Statically Typed Cryptographic Protocols 1-gen-2011 BUGLIESI, MicheleCALZAVARA, STEFANO + 4.1 Articolo in Atti di convegno -
A formal specification for Casanova, a language for computer games 1-gen-2012 Alvise SpanòORSINI, RenzoBUGLIESI, MicheleABBADI, MOHAMEDSteffinlongo, Enrico + 4.1 Articolo in Atti di convegno -
Gran: model checking grsecurity RBAC policies 1-gen-2012 BUGLIESI, MicheleCALZAVARA, STEFANOFOCARDI, RiccardoSQUARCINA, MARCO 4.1 Articolo in Atti di convegno -
A compilation technique to increase X3D performance and safety 1-gen-2012 MAGGIORE, GIUSEPPEABBADI, MOHAMEDPITTARELLO, FabioBUGLIESI, Michele 4.1 Articolo in Atti di convegno -
Interference-sensitive Preorders for MANETs 1-gen-2012 BUGLIESI, MicheleGALLINA, LUCIAMARIN, AndreaROSSI, Sabina + 4.1 Articolo in Atti di convegno -
On Casanova and databases or the similarity between games and DBs 1-gen-2012 MAGGIORE, GIUSEPPEORSINI, RenzoBUGLIESI, Michele 4.1 Articolo in Atti di convegno -
Writing real-time .Net games in Casanova 1-gen-2012 MAGGIORE, GIUSEPPEORSINI, RenzoBUGLIESI, MicheleSteffinlongo, EnricoABBADI, MOHAMED + 4.1 Articolo in Atti di convegno -
Typing Legacy COBOL Code 1-gen-2013 SPANO', ALVISEBUGLIESI, MicheleCORTESI, Agostino 3.1 Articolo su libro -
Affine Refinement Types for Authentication and Authorization 1-gen-2013 BUGLIESI, MicheleCALZAVARA, STEFANO + 4.1 Articolo in Atti di convegno -
Logical Foundations of Secure Resource Management in Protocol Implementations 1-gen-2013 BUGLIESI, MicheleCALZAVARA, STEFANO + 4.1 Articolo in Atti di convegno -
Lintent: Towards Security Type-Checking of Android Applications 1-gen-2013 BUGLIESI, MicheleCALZAVARA, STEFANOSPANO', ALVISE 4.1 Articolo in Atti di convegno -
Provably Sound Browser-Based Enforcement of Web Session Integrity 1-gen-2014 BUGLIESI, MicheleCALZAVARA, STEFANOFOCARDI, RiccardoKHAN, WILAYATTEMPESTA, MAURO 4.1 Articolo in Atti di convegno -
Mostrati risultati da 41 a 60 di 86
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile