Massimo Bartoletti Vis

*	2009
18	EE	Massimo Bartoletti: Usage Automata. ARSPA-WITS 2009: 52-69
17	EE	Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: nu-Types for Effects and Freshness Analysis. ICTAC 2009: 80-95
16	EE	Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: Local policies for resource usage analysis. ACM Trans. Program. Lang. Syst. 31(6): (2009)
15	EE	Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: Hard Life with Weak Binders. Electr. Notes Theor. Comput. Sci. 242(1): 49-72 (2009)
	2008
14	EE	Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: Model Checking Usage Policies. TGC 2008: 19-35
13	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
12	EE	Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: Secure Service Orchestration. FOSAD 2007: 24-74
11	EE	Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: Types and Effects for Resource Usage Analysis. FoSSaCS 2007: 32-47
	2006
10	EE	Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Types and Effects for Secure Service Orchestration. CSFW 2006: 57-69
9	EE	Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Security Issues in Service Composition. FMOODS 2006: 1-16
	2005
8	EE	Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Enforcing Secure Service Composition. CSFW 2005: 211-223
7	EE	Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: History-Based Access Control with Local Policies. FoSSaCS 2005: 316-332
6	EE	Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Checking Risky Events Is Enough for Local Policies. ICTCS 2005: 97-112
5	EE	Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Policy framings for access control. WITS 2005: 5-11
	2004
4	EE	Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Program Transformations under Dynamic Security Policies. Electr. Notes Theor. Comput. Sci. 99: 49-86 (2004)
3	EE	Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Stack inspection and secure program transformations. Int. J. Inf. Sec. 2(3-4): 187-217 (2004)
	2003
2	EE	Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Security-Aware Program Transformations. ICTCS 2003: 355-368
	2001
1	EE	Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Static Analysis for Stack Inspection. Electr. Notes Theor. Comput. Sci. 54: (2001)

Coauthor Index

1	Pierpaolo Degano	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17]
2	Gian Luigi Ferrari (GianLuigi Ferrari)	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17]
3	Roberto Zunino	[11] [12] [13] [14] [15] [16] [17]