dblp.uni-trier.dewww.uni-trier.de

Massimo Bartoletti

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)