loading...
Types and Effects for Secure Service Orchestration
Venice, Italy July 05-July 07
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CSFW.2006.3119th IEEE Computer Security Foundatio ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, "Types and Effects for Secure Service Orchestration," Computer Security Foundations Workshop, IEEE, pp. 57-69, 19th IEEE Computer Security Foundations Workshop (CSFW'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/CSFW.2006.31,
author = {Massimo Bartoletti and Pierpaolo Degano and Gian Luigi Ferrari},
title = {Types and Effects for Secure Service Orchestration},
journal ={Computer Security Foundations Workshop, IEEE},
volume = {0},
year = {2006},
issn = {1063-6900},
pages = {57-69},
doi = {http://doi.ieeecomputersociety.org/10.1109/CSFW.2006.31},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer Security Foundations Workshop, IEEE
TI - Types and Effects for Secure Service Orchestration
SN - 1063-6900
SP57
EP69
A1 - Massimo Bartoletti,
A1 - Pierpaolo Degano,
A1 - Gian Luigi Ferrari,
PY - 2006
KW - null
VL - 0
JA - Computer Security Foundations Workshop, IEEE
ER -
 
Massimo Bartoletti, Universita di Pisa, Italy
Pierpaolo Degano, Universita di Pisa, Italy
Gian Luigi Ferrari, Universita di Pisa, Italy
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.
Citation:
Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, "Types and Effects for Secure Service Orchestration," csfw, pp.57-69, 19th IEEE Computer Security Foundations Workshop (CSFW'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.