Secure Service Orchestration

DOI10.1007/978-3-540-74810-6_2zbMath1195.68015OpenAlexW1925515031MaRDI QIDQ3184791

Massimo Bartoletti, Roberto Zunino, Gian-Luigi Ferrari, Pierpaolo Degano

Publication date: 22 October 2009

Published in: Foundations of Security Analysis and Design IV (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74810-6_2

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Data encryption (aspects in computer science) (68P25) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Network protocols (68M12) Internet topics (68M11)

Related Items (2)

Event-Based Service Coordination ⋮ Event based choreography

This page was built for publication: Secure Service Orchestration