TY - GEN
T1 - A type system for flexible role assignment in multiparty communicating systems
AU - Baltazar, Pedro
AU - Caires, Luís Manuel Marques da Costa
AU - Vasconcelos, Vasco T.
AU - Vieira, Hugo Filipe Mendes Torres
PY - 2013
Y1 - 2013
N2 - Communication protocols in distributed systems often specify the roles of the parties involved in the communications, namely for enforcing security policies or task assignment purposes. Ensuring that implementations follow role-based protocol specifications is challenging, especially in scenarios found, e.g., in business processes and web applications, where multiple peers are involved, single peers impersonate several roles, or single roles are carried out by several peers. We present a type-based analysis for statically verifying role-based multi-party interactions, based on a simple π-calculus model and prior work on conversation types. Our main result ensures that well-typed systems follow the role-based protocols prescribed by the types, including systems where roles are flexibly assigned to processes.
AB - Communication protocols in distributed systems often specify the roles of the parties involved in the communications, namely for enforcing security policies or task assignment purposes. Ensuring that implementations follow role-based protocol specifications is challenging, especially in scenarios found, e.g., in business processes and web applications, where multiple peers are involved, single peers impersonate several roles, or single roles are carried out by several peers. We present a type-based analysis for statically verifying role-based multi-party interactions, based on a simple π-calculus model and prior work on conversation types. Our main result ensures that well-typed systems follow the role-based protocols prescribed by the types, including systems where roles are flexibly assigned to processes.
UR - http://www.scopus.com/inward/record.url?scp=84886414647&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-41157-1_6
DO - 10.1007/978-3-642-41157-1_6
M3 - Conference contribution
AN - SCOPUS:84886414647
SN - 978-3-642-41156-4
VL - 8191 LNCS
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 82
EP - 96
BT - Trustworthy Global Computing
A2 - Palamidessi, Catuscia
A2 - D. Ryan, Mark
PB - Springer Berlin Heidelberg
CY - Berlin Heidelberg
T2 - 7th International Symposium on Trustworthy Global Computing, TGC 2012
Y2 - 7 September 2012 through 8 September 2012
ER -