DocumentCode
2172964
Title
Types and effects for secure service orchestration
Author
Baitoletti, M. ; Degano, Pierpaolo ; Ferrari, Gian Luigi
Author_Institution
Dipt. di Informatica, Universita di Pisa
fYear
0
fDate
0-0 0
Lastpage
69
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Security Foundations Workshop, 2006. 19th IEEE
Conference_Location
Venice
ISSN
1063-6900
Print_ISBN
0-7695-2615-2
Type
conf
DOI
10.1109/CSFW.2006.31
Filename
1648708
Link To Document