| 2008 |
|---|
| 8 | EE | Massimo Bartoletti,
Pierpaolo Degano,
Gian Luigi Ferrari,
Roberto Zunino:
Model Checking Usage Policies.
TGC 2008: 19-35 |
| 7 | EE | Massimo Bartoletti,
Pierpaolo Degano,
Gian Luigi Ferrari,
Roberto Zunino:
Semantics-Based Design for Secure Web Services.
IEEE Trans. Software Eng. 34(1): 33-49 (2008) |
| 2007 |
|---|
| 6 | EE | Massimo Bartoletti,
Pierpaolo Degano,
Gian Luigi Ferrari,
Roberto Zunino:
Secure Service Orchestration.
FOSAD 2007: 24-74 |
| 5 | EE | Massimo Bartoletti,
Pierpaolo Degano,
Gian Luigi Ferrari,
Roberto Zunino:
Types and Effects for Resource Usage Analysis.
FoSSaCS 2007: 32-47 |
| 2006 |
|---|
| 4 | EE | Roberto Zunino,
Pierpaolo Degano:
Handling exp, × (and Timestamps) in Protocol Analysis.
FoSSaCS 2006: 413-427 |
| 2005 |
|---|
| 3 | EE | Roberto Zunino,
Pierpaolo Degano:
Weakening the perfect encryption assumption in Dolev-Yao adversaries.
Theor. Comput. Sci. 340(1): 154-178 (2005) |
| 2004 |
|---|
| 2 | EE | Roberto Zunino,
Pierpaolo Degano:
A Note on the Perfect Encryption Assumption in a Process Calculus.
FoSSaCS 2004: 514-528 |
| 1 | EE | Roberto Zunino:
Control Flow Analysis for the Applied Pi-calculus.
Electr. Notes Theor. Comput. Sci. 99: 87-110 (2004) |
