A type system for flexible role assignment in multiparty communicating systems

Research output: Chapter in Book/Report/Conference proceedingConference contribution

18 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationTrustworthy Global Computing
Subtitle of host publication7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers
EditorsCatuscia Palamidessi, Mark D. Ryan
Place of PublicationBerlin Heidelberg
PublisherSpringer Berlin Heidelberg
Pages82-96
Number of pages15
Volume8191 LNCS
ISBN (Electronic)978-3-642-41157-1
ISBN (Print)978-3-642-41156-4
DOIs
Publication statusPublished - 2013
Event7th International Symposium on Trustworthy Global Computing, TGC 2012 - Newcastle upon Tyne, United Kingdom
Duration: 7 Sep 20128 Sep 2012

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Berlin Heidelberg
Volume8191 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference7th International Symposium on Trustworthy Global Computing, TGC 2012
CountryUnited Kingdom
CityNewcastle upon Tyne
Period7/09/128/09/12

Fingerprint Dive into the research topics of 'A type system for flexible role assignment in multiparty communicating systems'. Together they form a unique fingerprint.

  • Cite this

    Baltazar, P., Caires, L. M. M. D. C., Vasconcelos, V. T., & Vieira, H. F. M. T. (2013). A type system for flexible role assignment in multiparty communicating systems. In C. Palamidessi, & M. D. Ryan (Eds.), Trustworthy Global Computing: 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers (Vol. 8191 LNCS, pp. 82-96). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8191 LNCS). Berlin Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-41157-1_6