@inproceedings(Abadi03access,
 author       = "Mart\'{\i }n Abadi and C{\'e}dric Fournet",
 year         = "2003",
 title        = "Access Control Based on Execution History",
 booktitle    = "Proceedings of the Network and Distributed System Security Symposium, NDSS 2003, San Diego, California, USA",
 publisher    = "The Internet Society",
)
@inproceedings(Bartoletti09ua,
 author       = "Massimo Bartoletti",
 year         = "2009",
 title        = "{U}sage {A}utomata",
 booktitle    = "Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security",
 series       = "LNCS",
 volume       = "5511",
 publisher    = "Springer",
 pages        = "52--69",
 doi          = "10.1007/978-3-642-03459-6\_4",
)
@article(BART-09-ENTCS,
 author       = "Massimo Bartoletti and Gabriele Costa and Roberto Zunino",
 year         = "2009",
 title        = "Jalapa: Securing Java with Local Policies",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "253",
 number       = "5",
 pages        = "145--151",
 doi          = "10.1016/j.entcs.2009.11.020",
)
@article(Bartoletti05csfw,
 author       = "Massimo Bartoletti and Pierpaolo Degano and Gian~Luigi Ferrari",
 year         = "2009",
 title        = "Planning and verifying service composition",
 journal      = "Journal of Computer Security ({JCS})",
 volume       = "17",
 number       = "5",
 pages        = "799--837",
 doi          = "10.3233/JCS-2009-0357",
)
@inproceedings(Bartoletti07fossacs,
 author       = "Massimo Bartoletti and Pierpaolo Degano and Gian~Luigi Ferrari and Roberto Zunino",
 year         = "2007",
 title        = "Types and Effects for Resource Usage Analysis",
 booktitle    = "Proc. of FOSSACS-07",
 pages        = "32--47",
 doi          = "10.1007/978-3-540-71389-0\_4",
)
@article(BIST-97-JACM,
 author       = "Stefano Bistarelli and Ugo Montanari and Francesca Rossi",
 year         = "1997",
 title        = "Semiring-based constraint satisfaction and optimization",
 journal      = "Journal of the ACM",
 volume       = "44",
 pages        = "201--236",
 doi          = "10.1145/256303.256306",
)
@inproceedings(Bravetti09contract,
 author       = "Mario Bravetti and Ivan Lanese and Gianluigi Zavattaro",
 year         = "2008",
 title        = "Contract-Driven Implementation of Choreographies",
 booktitle    = "Proc. of TGC-08",
 pages        = "1--18",
 doi          = "10.1007/978-3-642-00945-7\_1",
)
@inproceedings(Bravetti07towardsa,
 author       = "Mario Bravetti and Gianluigi Zavattaro",
 year         = "2007",
 title        = "Towards a unifying theory for choreography conformance and contract compliance",
 booktitle    = "In Pre-proc. CS-07",
 publisher    = "Springer",
 pages        = "34--50",
 doi          = "10.1007/978-3-540-77351-1\_4",
)
@article(Castagna09contracts,
 author       = "Giuseppe Castagna and Nils Gesbert and Luca Padovani",
 year         = "2008",
 title        = "A theory of contracts for web services",
 journal      = "SIGPLAN Notices",
 volume       = "43",
 pages        = "261--272",
 doi          = "10.1145/1328438.1328471",
)
@techreport(CHEN-05-TECHREP,
 author       = "Feng Cheng and David Gamarnik and Nitin Jengte and Wanli Min and Bala Ramachandran",
 year         = "2005",
 title        = "Modelling Operational Risks in Business Process",
 type         = "Technical Report",
 number       = "RC23872",
 institution  = "IBM",
)
@article(Clarke86mc,
 author       = "E.~M. Clarke and E.~A. Emerson and A.~P. Sistla",
 year         = "1986",
 title        = "{Automatic verification of finite-state concurrent systems using temporal logic specifications}",
 journal      = "TOPLAS",
 volume       = "8",
 pages        = "244--263",
 doi          = "10.1145/5397.5399",
)
@incollection(Costa10modular,
 author       = "Gabriele Costa and Pierpaolo Degano and Fabio Martinelli",
 year         = "2010",
 title        = "{Modular Plans for Secure Service Composition}",
 booktitle    = "Proc. of ARSPA-WITS-10",
 series       = "LCNS",
 volume       = "6186",
 doi          = "10.1007/978-3-642-16074-5\_4",
)
@article(Costa11jsa,
 author       = "Gabriele Costa and Pierpaolo Degano and Fabio Martinelli",
 year         = "2011",
 title        = "Secure service orchestration in open networks",
 journal      = "Journal of Systems Architecture - Embedded Systems Design",
 volume       = "57",
 number       = "3",
 pages        = "231--239",
 doi          = "10.1016/j.sysarc.2010.09.001",
)
@inproceedings(INNE-08-NordSec,
 author       = "Frank {Innerhofer-Oberperfler} and Fabio Massacci and Artsiom Yautsiukhin",
 year         = "2008",
 title        = "Pareto-Optimal Architecture according to Assurance Indicators",
 booktitle    = "Proceedings of the 13th Nordic Workshop on Secure IT Systems",
)
@inproceedings(IRVI-00-NSPW,
 author       = "Cynthia Irvine and Timothy Levin",
 year         = "2000",
 title        = "Quality of security service",
 booktitle    = "Proceedings of the 2000 Workshop on New security paradigms",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "91--99",
 doi          = "10.1145/366173.366195",
)
@inproceedings(KARJ-05-QoP,
 author       = "G\"{u}nter Karjoth and Birgit Pfitzmann and Matthias Schunter and Michael Waidner",
 year         = "2005",
 title        = "Service-oriented Assurance - Comprehensive Security by Explicit Assurances",
 booktitle    = "Proc. of QoP-05",
 doi          = "10.1007/978-0-387-36584-8\_2",
)
@inproceedings(Martinelli07synthesis,
 author       = "Fabio Martinelli and Ilaria Matteucci",
 year         = "2007",
 title        = "Synthesis of Web Services Orchestrators in a Timed Setting",
 booktitle    = "Proc. of WS-FM-07",
 pages        = "124--138",
 doi          = "10.1007/978-3-540-79230-7\_9",
)
@inproceedings(MASS-07-QoP,
 author       = "Fabio Massacci and Artsiom Yautsiukhin",
 year         = "2007",
 title        = "An Algorithm for the Appraisal of Assurance Indicators for Complex Business Processe",
 booktitle    = "Proc. of QoP-07",
 publisher    = "ACM",
 doi          = "10.1145/1314257.1314265",
)
@inproceedings(JEAG-05-EEE,
 author       = "G.~Rojec-Goldmann M.C.~Jaeger and G.~M{\"u}hl.",
 year         = "2005",
 title        = "{QoS} Aggregation in Web Service Compositions",
 booktitle    = "Proc. of EEE-05",
 doi          = "10.1109/EEE.2005.110",
)
@inproceedings(NIEL-07-CSF,
 author       = "Hanne~Riis Nielson and Fleming Nielson",
 year         = "2007",
 title        = "A flow-sensitive analysis of privacy properties",
 booktitle    = "Proceedings of the 20-th IEEE Computer Security Foundations Symposium",
 pages        = "249 --264",
 doi          = "10.1109/CSF.2007.4",
)
@inproceedings(Padovani08contract,
 author       = "Luca Padovani",
 year         = "2008",
 title        = "Contract-Directed Synthesis of Simple Orchestrators",
 booktitle    = "Proceedings of the 19th international conference on Concurrency Theory",
 publisher    = "Springer-Verlag",
 pages        = "131--146",
 doi          = "10.1007/978-3-540-85361-9\_13",
)
@inproceedings(ROSS-09-ICUMT,
 author       = "S.~Rossi and D.~Macedonio",
 year         = "2009",
 title        = "Information flow security for service compositions",
 booktitle    = "Proc. of ICUMT-09",
 pages        = "1 --8",
 doi          = "10.1109/ICUMT.2009.5345455",
)
@inproceedings(YU-05-EEE,
 author       = "Tao Yu and Kwei-Jay Lin",
 year         = "2005",
 title        = "A Broker-Based Framework for QoS-Aware Web Service Composition",
 booktitle    = "Proc. of EEE-05)",
 doi          = "10.1109/EEE.2005.1",
)
@article(YU-07-ACMTRANS,
 author       = "Tao Yu and Yue Zhang and Kwei-Jay Lin",
 year         = "2007",
 title        = "Efficient algorithms for Web services selection with end-to-end QoS constraints",
 journal      = "ACM Transactions on the Web",
 volume       = "1",
 doi          = "10.1145/1232722.1232728",
)