Abstract
We extend role-based multiparty sessions with reputations and policies associated with principals. The reputation associated with a principal in a service is built by collecting her relevant behaviour as a participant in sessions of the service. The service checks the reputation of principals before allowing them to take part in a session, also according to the role they want to play. Furthermore, principals can declare policies that must be fulfilled by the other participants of the same service. These policies are used by principals to check the reputation of the current participants and to decide whether or not to join the service. We illustrate the use of our approach with an example describing a real-world protocol.
Work partially funded by the ANR-08-EMER-010 grant PARTOUT, and by the MIUR Projects DISCO and IPODS.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bettini, L., Coppo, M., D’Antoni, L., De Luca, M., Dezani-Ciancaglini, M., Yoshida, N.: Global Progress in Dynamically Interleaved Multiparty Sessions. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol. 5201, pp. 418–433. Springer, Heidelberg (2008)
Bocchi, L., Honda, K., Tuosto, E., Yoshida, N.: A Theory of Design-by-Contract for Distributed Multiparty Interactions. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol. 6269, pp. 162–176. Springer, Heidelberg (2010)
Capecchi, S., Castellani, I., Dezani-Ciancaglini, M.: Information Flow Safety in Multiparty Sessions. In: Luttik, B., Valencia, F. (eds.) EXPRESS 2011. EPTCS, vol. 64, pp. 16–31 (2011)
Capecchi, S., Castellani, I., Dezani-Ciancaglini, M., Rezk, T.: Session Types for Access and Information Flow Control. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol. 6269, pp. 237–252. Springer, Heidelberg (2010)
Capecchi, S., Giachino, E., Yoshida, N.: Global Escape in Multiparty Sessions. In: Lodaya, K., Mahajan, M. (eds.) Proc. FSTTCS 2010. LIPIcs, vol. 8, pp. 338–351. Schloss Dagstuhl–Leibniz-Zentrum für Informatik (2010)
Carbone, M., Nielsen, M., Sassone, V.: A Calculus for Trust Management. In: Lodaya, K., Mahajan, M. (eds.) FSTTCS 2004. LNCS, vol. 3328, pp. 161–173. Springer, Heidelberg (2004)
Deniélou, P.-M., Yoshida, N.: Buffered Communication Analysis in Distributed Multiparty Sessions. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol. 6269, pp. 343–357. Springer, Heidelberg (2010)
Deniélou, P.-M., Yoshida, N.: Dynamic Multirole Session Types. In: Sagiv, M. (ed.) Proc. POPL 2011, pp. 435–446. ACM (2011)
Dezani-Ciancaglini, M., de’Liguoro, U.: Sessions and Session Types: An Overview. In: Laneve, C., Su, J. (eds.) WS-FM 2009. LNCS, vol. 6194, pp. 1–28. Springer, Heidelberg (2010)
Giachino, E., Sackman, M., Drossopoulou, S., Eisenbach, S.: Softly Safely Spoken: Role Playing for Session Types. Presented at PLACES 2009 (2009)
Hoffman, K., Zage, D., Nita-Rotaru, C.: A Survey of Attack and Defence Techniques for Reputation Systems. ACM Computing Surveys 42, 1:1–1:31 (2009)
Honda, K.: Types for Dyadic Interaction. In: Best, E. (ed.) CONCUR 1993. LNCS, vol. 715, pp. 509–523. Springer, Heidelberg (1993)
Honda, K., Yoshida, N., Carbone, M.: Multiparty Asynchronous Session Types. In: Necula, G.C., Wadler, P. (eds.) Proc. POPL 2008, pp. 273–284. ACM Press (2008)
Jøsang, A., Golbeck, J.: Challenges for Robust Trust and Reputation Systems. In: Dimitrakos, T., Martinelli, F. (eds.) Proc. STM 2009. ENTCS, vol. 244. Elsevier (2009)
Krukow, K., Nielsen, M., Sassone, V.: Trust Models in Ubiquitous Computing. Philosophical Transactions of the Royal Society 366, 3781–3793 (2008)
Milner, R.: Communicating and Mobile Systems: the Pi-Calculus. CUP (1999)
Vasconcelos, V.T.: Sessions, from Types to Programming Languages. EATCS Bulletin 103, 53–73 (2011)
Yoshida, N., Deniélou, P.-M., Bejleri, A., Hu, R.: Parameterised Multiparty Session Types. In: Ong, L. (ed.) FOSSACS 2010. LNCS, vol. 6014, pp. 128–145. Springer, Heidelberg (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bono, V., Capecchi, S., Castellani, I., Dezani-Ciancaglini, M. (2012). A Reputation System for Multirole Sessions. In: Bruni, R., Sassone, V. (eds) Trustworthy Global Computing. TGC 2011. Lecture Notes in Computer Science, vol 7173. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-30065-3_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-30065-3_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-30064-6
Online ISBN: 978-3-642-30065-3
eBook Packages: Computer ScienceComputer Science (R0)