Title :
Types and effects for secure service orchestration
Author :
Baitoletti, M. ; Degano, Pierpaolo ; Ferrari, Gian Luigi
Author_Institution :
Dipt. di Informatica, Universita di Pisa
Abstract :
A distributed calculus is proposed for describing networks of services. We model service interaction through a call-by-property invocation mechanism, by specifying the security constraints that make their composition safe. A static approach is then proposed to determine how to compose services and guarantee that their execution is always secure, without resorting to any dynamic check
Keywords :
calculus; distributed processing; formal specification; security of data; system monitoring; call-by-property invocation; distributed calculus; dynamic checking; networks of services; secure execution; secure service orchestration; security constraint specification; service interaction; Assembly; Calculus; Computer networks; Computer security; Contracts; History; Information security; Protection; Runtime; Wrapping;
Conference_Titel :
Computer Security Foundations Workshop, 2006. 19th IEEE
Conference_Location :
Venice
Print_ISBN :
0-7695-2615-2
DOI :
10.1109/CSFW.2006.31
