@Article{Bartoletti07tse,
  author =       {M. Bartoletti and P. Degano and G.L. Ferrari and R. Zunino},
  title =        {Semantics-based Design for Secure Web Services},
  journal =      {{IEEE} Transactions on Software Engineering},
  volume =       {34},
  number =       {1},
  year =         {2008}
}
@InProceedings{Bartoletti07fosad,
  author    = {Massimo Bartoletti and
               Pierpaolo Degano and
               Gian Luigi Ferrari and
               Roberto Zunino},
  title     = {Secure Service Orchestration},
  booktitle = {FOSAD},
  year      = {2007},
  pages     = {24-74},
}
@TechReport{Bartoletti07tr,
  author =       {M. Bartoletti and P. Degano and G.L. Ferrari},
  title =        {Planning and Verifying Service Composition},
  institution =  {Dip. Informatica, Univ. of Pisa},
  number =       {TR-07-02},
  note =         {\verb+http://compass2.di.unipi.it/TR/Files/TR-07-02.pdf.gz+, 
                  to appear in Journal of Computer Security},
  year =         {2008}
} 
@InProceedings{Bartoletti07fossacs,
  author =       {Massimo Bartoletti and Pierpaolo Degano and Gian Luigi Ferrari and Roberto Zunino},
  title =        {Types and Effects for Resource Usage Analysis},
  booktitle =    {Proc. Foundations of Software Science and Computation Structures ({FOSSACS})},
  publisher =    {Springer},
  series    =    {Lecture Notes in Computer Science},
  volume    =    {4423},
  year =         {2007}
}
@InProceedings{Bartoletti06fmoods,
  author =       {Massimo Bartoletti and Pierpaolo Degano and Gian Luigi Ferrari},
  title =        {Security issues in Service composition},
  booktitle =    {Invited talk at ({FMOODS})},
  publisher =    {Springer},
  series    =    {Lecture Notes in Computer Science},
  volume    =    {4037},
  year =         {2006}
}
@InProceedings{Bartoletti06csfw,
  author =       {Massimo Bartoletti and Pierpaolo Degano and Gian Luigi Ferrari},
  title =        {Types and Effects for Secure Service Orchestration},
  booktitle =    {Proc. 19th Computer Security Foundations Workshop ({CSFW})},
  year =         {2006}
}
@InProceedings{Bartoletti06wits,
  author =       {Massimo Bartoletti and Pierpaolo Degano and Gian Luigi Ferrari},
  title =        {Plans for Service Composition},
  booktitle =    {Workshop on Issues in the Theory of Security ({WITS})},
  year =         {2006}
}
@InProceedings{Bartoletti05csfw,
  author =       {Massimo Bartoletti and Pierpaolo Degano and Gian Luigi Ferrari},
  title =        {Enforcing Secure Service Composition},
  booktitle = 	 {Proc. 18th Computer Security Foundations Workshop ({CSFW})},
  year =         {2005}
}
@InProceedings{Bartoletti05ictcs,
  author =       {Massimo Bartoletti and Pierpaolo Degano and Gian Luigi Ferrari},
  title =        {Checking risky events is enough for local policies},
  booktitle =    {Proc. of 9th Italian Conference on Theoretical Computer Science ({ICTCS})},
  year =         {2005}
}
@InProceedings{Bartoletti05fossacs,
  author =       {Massimo Bartoletti and Pierpaolo Degano and Gian Luigi Ferrari},
  title =        {History based Access Control with Local Policies},
  booktitle =    {Proc. Foundations of Software Science and Computation Structures ({FOSSACS})},
  publisher =    {Springer},
  series    =    {Lecture Notes in Computer Science},
  volume    =    {3441},
  year =         {2005}
}
@InProceedings{Bartoletti05wits,
  author =       {Massimo Bartoletti and Pierpaolo Degano and Gian Luigi Ferrari},
  title =        {Policy Framings for Access Control},
  booktitle =    {Workshop on Issues in the Theory of Security ({WITS})},
  year =         {2005}
}
@InProceedings{Bartoletti04wits,
  author =       {Massimo Bartoletti and Pierpaolo Degano and Gian Luigi Ferrari},
  title =        {Method inlining in the presence of stack inspection},
  booktitle =    {Workshop on Issues in the Theory of Security ({WITS})},
  year =         {2004}
}
@Article{Bartoletti04ijis,
  author =       {Massimo Bartoletti and Pierpaolo Degano and Gian Luigi Ferrari},
  title =        {Stack inspection and secure program transformations},
  journal =      {International Journal of Information Security},
  volume =       {2},
  number =       {3--4},
  pages =        {187--217},
  publisher =    {Springer-Verlag},
  year =         {2004}
}
@InProceedings{Bartoletti04mefisto,
  author =       {Massimo Bartoletti and Pierpaolo Degano and Gian Luigi Ferrari},
  title =        {Program transformations under dynamic security policies},
  booktitle =    {Proceedings of the MEFISTO Project},
  series =       {ENTCS},
  year =         {2004}
}
@InProceedings{Bartoletti03ictcs,
  author =       {Massimo Bartoletti and Pierpaolo Degano and Gian Luigi Ferrari},
  title =        {Security-aware Program Transformations},
  booktitle =    {Proc. 8th Italian Conference on Theoretical Computer Science},
  year =         {2003}
}
@InProceedings{Bartoletti03ftfjp,
  author =       {Massimo Bartoletti and Pierpaolo Degano and Gian Luigi Ferrari},
  title =        {Static Analysis for Eager Stack Inspection},
  booktitle =    {Workshop on Formal Techniques for Java-like Programs},
  year =         {2003}
}
@InProceedings{Bartoletti01concoord,
  author =       {Massimo Bartoletti and Pierpaolo Degano and Gian Luigi Ferrari},
  title =        {Static Analysis for Stack Inspection},
  booktitle =    {Proc International Workshop on Concurrency and Coordination},
  year =         {2001}
}