BARTOLETTI, MASSIMO Statistiche
BARTOLETTI, MASSIMO
DIPARTIMENTO DI INFORMATICA
Hard Life with Weak Binders
2009-01-01 Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Zunino, Roberto
Local Policies for Resource Usage Analysis
2009-01-01 Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Ferrari, GIAN-LUIGI
nu-Types for Effects and Freshness Analysis
2009-01-01 Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Zunino, Roberto
Planning and verifying service composition
2009-01-01 Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Zunino, Roberto
Securing Java with Local Policies
2009-01-01 Bartoletti, Massimo; Degano, Pierpaolo; Costa, G; Martinelli, F; Zunino, Roberto
Model Checking Usage Policies
2008-01-01 Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Zunino, Roberto
Securing Java with Local Policies
2008-01-01 Bartoletti, Massimo; Costa, G; Degano, Pierpaolo; Martinelli, F; Zunino, Roberto
Semantics-Based Design for Secure Web Services
2008-01-01 Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Zunino, Roberto
Plans for service composition
2006-01-01 Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI
Secure Service Composition
2006-01-01 Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Zunino, Roberto
Security Issues in Service Composition
2006-01-01 Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI
Types and Effects for Secure Service Orchestration
2006-01-01 Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI
Checking Risky Events is enough for Local Policies
2005-01-01 Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI
Enforcing Secure Service Composition
2005-01-01 Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI
History-based Acces Control with Local Policies
2005-01-01 Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI
Policy Framings for Access Control
2005-01-01 Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI
Method Inlining in Presence of Stack Inspection
2004-01-01 Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI
Stack Inspection and Secure Program Transformations
2004-01-01 Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI
Program Transformations under Dynamic Security Policies
2003-01-01 Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI
Security-aware program transformations
2003-01-01 Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Hard Life with Weak Binders | 1-gen-2009 | Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Zunino, Roberto | |
| Local Policies for Resource Usage Analysis | 1-gen-2009 | Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Ferrari, GIAN-LUIGI | |
| nu-Types for Effects and Freshness Analysis | 1-gen-2009 | Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Zunino, Roberto | |
| Planning and verifying service composition | 1-gen-2009 | Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Zunino, Roberto | |
| Securing Java with Local Policies | 1-gen-2009 | Bartoletti, Massimo; Degano, Pierpaolo; Costa, G; Martinelli, F; Zunino, Roberto | |
| Model Checking Usage Policies | 1-gen-2008 | Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Zunino, Roberto | |
| Securing Java with Local Policies | 1-gen-2008 | Bartoletti, Massimo; Costa, G; Degano, Pierpaolo; Martinelli, F; Zunino, Roberto | |
| Semantics-Based Design for Secure Web Services | 1-gen-2008 | Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Zunino, Roberto | |
| Plans for service composition | 1-gen-2006 | Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI | |
| Secure Service Composition | 1-gen-2006 | Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Zunino, Roberto | |
| Security Issues in Service Composition | 1-gen-2006 | Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI | |
| Types and Effects for Secure Service Orchestration | 1-gen-2006 | Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI | |
| Checking Risky Events is enough for Local Policies | 1-gen-2005 | Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI | |
| Enforcing Secure Service Composition | 1-gen-2005 | Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI | |
| History-based Acces Control with Local Policies | 1-gen-2005 | Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI | |
| Policy Framings for Access Control | 1-gen-2005 | Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI | |
| Method Inlining in Presence of Stack Inspection | 1-gen-2004 | Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI | |
| Stack Inspection and Secure Program Transformations | 1-gen-2004 | Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI | |
| Program Transformations under Dynamic Security Policies | 1-gen-2003 | Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI | |
| Security-aware program transformations | 1-gen-2003 | Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI |