Items where Author is "Pino, Luca"
 | Up a level |
Group by: Item Type | No Grouping
Jump to: Article | Book Section
Number of items: 2.
Article
Pino, Luca and Spanoudakis, George and Krotsiani, Maria and Mahbub, Khaled (2017) Pattern Based Design and Verification of Secure Service Compositions. IEEE Transactions on Services Computing, 99. ISSN 1939-1374
Book Section
Pino, Luca and Mahbub, Khaled and Spanoudakis, George (2014) Designing Secure Service Workflows in BPEL. In: 12th International Conference, ICSOC 2014, Paris, France, November 3-6, 2014, Proceedings. Programming and Software Engineering . Springer. ISBN 978-3-662-45390-2