Massimo Bartoletti: publications


    Secure service composition


  1. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari and Roberto Zunino. Semantics-based design for Secure Web Services. In IEEE Transactions on Software Engineering, Vol. 34, Issue 1, 2008. [ pdf © IEEE | bib]
  2. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari and Roberto Zunino. Secure service orchestrarion. In FOSAD, 2007 [ pdf | bib ]
  3. Massimo Bartoletti, Pierpaolo Degano and Gian Luigi Ferrari. Planning and Verifying Service Composition. To appear in Journal of Computer Security, 2008. [ pdf, tech report, talk, bib]
  4. Massimo Bartoletti, Pierpaolo Degano and Gian Luigi Ferrari. Security issues in Service Composition. Invited talk at FMOODS 2006. [ pdf, talk, bib]
  5. Massimo Bartoletti, Pierpaolo Degano and Gian Luigi Ferrari. Types and Effects for Secure Service Orchestration. In Proc. 19th Computer Security Foundations Workshop (CSFW), 2006. [ pdf, bib]
  6. Massimo Bartoletti, Pierpaolo Degano and Gian Luigi Ferrari. Plans for service composition. In Workshop on Issues in the Theory of Security (WITS), 2006. [ pdf, long version, talk bib]
  7. Massimo Bartoletti, Pierpaolo Degano and Gian Luigi Ferrari. Enforcing Secure Service Composition. In Proc. of 18th Computer Security Foundations Workshop (CSFW), 2005. [ pdf © IEEE, bib, talk ]

    8. History-based security


  8. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari and Roberto Zunino. Model checking usage policies. To appear in Trustworthy Global Computing, 2008. [ pdf | tech report ]
  9. Massimo Bartoletti and Roberto Zunino. LocUsT: a tool for model checking usage policies. Technical report, 2008. [ pdf | tool ]
  10. Massimo Bartoletti, Gabriele Costa, Pierpaolo Degano, Gian Luigi Ferrari, Fabio Martinelli and Roberto Zunino. Securing Java with local policies. In Workshop on Formal Techniques for Java-like Programs, 2008. [ pdf, bib ]
  11. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari and Roberto Zunino. Type and Effects for Resource Usage Analysis. In Proc. of Foundations on Software Science and Computation Structures (FOSSACS), 2007. [ pdf © Springer-Verlag, bib ]
  12. Massimo Bartoletti, Pierpaolo Degano and Gian Luigi Ferrari. Checking risky events is enough for local policies. In Proc. of 9th Italian Conference on Theoretical Computer Science (ICTCS), 2005. [ pdf © Springer-Verlag, bib, talk ]
  13. Massimo Bartoletti, Pierpaolo Degano and Gian Luigi Ferrari. History-based Access Control with Local Policies. In Proc. of Foundations of Software Science and Computation Structures (FOSSACS), 2005. [ pdf © Springer-Verlag, bib, talk ]
  14. Massimo Bartoletti, Pierpaolo Degano and Gian Luigi Ferrari. Policy Framings for Access Control. In Workshop on Issues in the Theory of Security (WITS), 2005. [ pdf © ACM, bib, talk ]

    15. Stack inspection


  15. Massimo Bartoletti, Pierpaolo Degano and Gian Luigi Ferrari. Method inlining in the presence of stack inspection. In Workshop on Issues in the Theory of Security (WITS), 2004. [ pdf, bib, talk ]
  16. Massimo Bartoletti, Pierpaolo Degano and Gian Luigi Ferrari. Stack inspection and secure program transformations. In International Journal of Information Security, 2(3-4): 187-217, 2004. [ pdf © Springer-Verlag, bib ]
  17. Massimo Bartoletti, Pierpaolo Degano and Gian Luigi Ferrari. Program transformations under dynamic security policies. In Proc. of the MEFISTO Project 2003, Formal Methods for Security and Time, 2004. [ pdf © Elsevier, bib, talk ]
  18. Massimo Bartoletti, Pierpaolo Degano and Gian Luigi Ferrari. Security-aware Program Transformations. In Proc. of 8th Italian Conference on Theoretical Computer Science (ICTCS), 2003. [ pdf © Springer-Verlag, bib, talk ]
  19. Massimo Bartoletti, Pierpaolo Degano and Gian Luigi Ferrari. Static analysis for eager stack inspection. In Workshop on Formal Techniques for Java-like Programs, 2003. [ pdf, bib, talk ]
  20. Massimo Bartoletti, Pierpaolo Degano and Gian Luigi Ferrari. Static analysis for stack inspection. In Proc. of ConCoord: International Workshop on Concurrency and Coordination, 2001. [ pdf © Elsevier, bib ]

    21. Other stuff


  21. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari and Roberto Zunino. Hard life with weak binders. In Proc. of EXPRESS, 2008. [ pdf © Elsevier | tech report | talk ]
  22. Massimo Bartoletti. Language-based security: access control and static analysis. PhD Thesis, 2005. [ pdf, talk]
  23. Massimo Bartoletti. Static analysis for Java security. Master Thesis, 2001. [ pdf ]