{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,6]],"date-time":"2026-04-06T10:13:58Z","timestamp":1775470438100,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662438121","type":"print"},{"value":"9783662438138","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-43813-8_12","type":"book-chapter","created":{"date-parts":[[2014,6,23]],"date-time":"2014-06-23T08:45:13Z","timestamp":1403513113000},"page":"173-188","source":"Crossref","is-referenced-by-count":2,"title":["A Calculus for Trust and Reputation Systems"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Aldini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","first-page":"42","volume":"6","author":"A. Aldini","year":"2013","unstructured":"Aldini, A.: Formal Approach to Design and Automatic Verification of Cooperation-Based Networks. Journal on Advances in Internet Technology\u00a06, 42\u201356 (2013)","journal-title":"Journal on Advances in Internet Technology"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Aldini, A., Bogliolo, A.: Modeling and Verification of Cooperation Incentive Mechanisms in User-Centric Wireless Communications. In: Rawat, D., Bista, B., Yan, G. (eds.) Security, Privacy, Trust, and Resource Management in Mobile and Wireless Communications, pp. 432\u2013461. IGI Global (2014)","DOI":"10.4018\/978-1-4666-4691-9.ch018"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Aldini, A., Bernardo, M., Corradini, F.: A Process Algebraic Approach to Software Architecture Design. Springer (2010)","DOI":"10.1007\/978-1-84800-223-4"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/978-3-642-24431-5_13","volume-title":"Formal Methods for Industrial Critical Systems","author":"A. Aldini","year":"2011","unstructured":"Aldini, A., Bernardo, M., Sproston, J.: Performability Measure Specification: Combining CSRL and MSL. In: Sala\u00fcn, G., Sch\u00e4tz, B. (eds.) FMICS 2011. LNCS, vol.\u00a06959, pp. 165\u2013179. Springer, Heidelberg (2011)"},{"key":"12_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10703-009-0088-7","volume":"36","author":"C. Baier","year":"2010","unstructured":"Baier, C., Cloth, L., Haverkort, B., Hermanns, H., Katoen, J.-P.: Performability Assessment by Model Checking of Markov Reward Models. Formal Methods in System Design\u00a036, 1\u201336 (2010)","journal-title":"Formal Methods in System Design"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Bogliolo, A., Polidori, P., Aldini, A., Moreira, W., Mendes, P., Yildiz, M., Ballester, C., Seigneur, J.-M.: Virtual Currency and Reputation-Based Cooperation Incentives in User-Centric Networks. In: Proc. 8th Wireless Communications and Mobile Computing Conf (IWCMC 2012), pp. 895\u2013900. IEEE (2012)","DOI":"10.1109\/IWCMC.2012.6314323"},{"key":"12_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/978-3-540-30538-5_14","volume-title":"FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science","author":"M. Carbone","year":"2004","unstructured":"Carbone, M., Nielsen, M., Sassone, V.: A Calculus for Trust Management. In: Lodaya, K., Mahajan, M. (eds.) FSTTCS 2004. LNCS, vol.\u00a03328, pp. 161\u2013173. Springer, Heidelberg (2004)"},{"key":"12_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-540-24756-2_8","volume-title":"Integrated Formal Methods","author":"S. Chaki","year":"2004","unstructured":"Chaki, S., Clarke, E.M., Ouaknine, J., Sharygina, N., Sinha, N.: State\/Event-Based Software Model Checking. In: Boiten, E.A., Derrick, J., Smith, G.P. (eds.) IFM 2004. LNCS, vol.\u00a02999, pp. 128\u2013147. Springer, Heidelberg (2004)"},{"issue":"1","key":"12_CR9","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/s10703-013-0183-7","volume":"43","author":"T. Chen","year":"2013","unstructured":"Chen, T., Forejt, V., Kwiatkowska, M., Parker, D., Simaitis, A.: Automatic Verification of Competitive Stochastic Systems. Formal Methods in System Design\u00a043(1), 61\u201392 (2013)","journal-title":"Formal Methods in System Design"},{"key":"12_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","volume-title":"Computer Aided Verification","author":"A. Cimatti","year":"2002","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: An OpenSource Tool for Symbolic Model Checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 359\u2013364. Springer, Heidelberg (2002)"},{"issue":"2","key":"12_CR11","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic Verification of Finite State Concurrent Systems using Temporal Logic Specifications. ACM Transactions on Programming Languages and Systems\u00a08(2), 244\u2013263 (1986)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-53479-2_17","volume-title":"Semantics of Systems of Concurrent Processes","author":"R. Nicola De","year":"1990","unstructured":"De Nicola, R., Vaandrager, F.W.: Actions versus State based Logics for Transition Systems. In: Guessarian, I. (ed.) LITP 1990. LNCS, vol.\u00a0469, pp. 407\u2013419. Springer, Heidelberg (1990)"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Huang, J., Nicol, D.: A Calculus of Trust and Its Application to PKI and Identity Management. In: Proc. 8th Symposium on Identity and Trust on the Internet (IDtrust 2009), pp. 23\u201337. ACM (2009)","DOI":"10.1145\/1527017.1527021"},{"key":"12_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/978-3-540-74810-6_8","volume-title":"Foundations of Security Analysis and Design IV","author":"A. J\u00f8sang","year":"2007","unstructured":"J\u00f8sang, A.: Trust and Reputation Systems. In: Aldini, A., Gorrieri, R. (eds.) FOSAD 2007. LNCS, vol.\u00a04677, pp. 209\u2013245. Springer, Heidelberg (2007)"},{"key":"12_CR15","unstructured":"J\u00f8sang, A.: Subjective logic book, draft (2013), \n                    \n                      http:\/\/folk.uio.no\/josang\/papers\/subjective_logic.pdf"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Kamvar, S.D., Schlosser, M.T., Garcia-Molina, H.: The Eigentrust Algorithm for Reputation Management in P2P Networks. In: Proc. 12th Conf. on World Wide Web (WWW 2003), pp. 640\u2013651. ACM (2003)","DOI":"10.1145\/775240.775242"},{"key":"12_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M. Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: Verification of Probabilistic Real-Time Systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol.\u00a06806, pp. 585\u2013591. Springer, Heidelberg (2011)"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Li, Z., Shen, H.: Game-Theoretic Analysis of Cooperation Incentives Strategies in Mobile Ad Hoc Networks. IEEE Transactions on Mobile Computing (2012)","DOI":"10.1109\/TMC.2011.151"},{"key":"12_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/11494881_8","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"F. Martinelli","year":"2005","unstructured":"Martinelli, F.: Towards an Integrated Formal Analysis for Security and Trust. In: Steffen, M., Zavattaro, G. (eds.) FMOODS 2005. LNCS, vol.\u00a03535, pp. 115\u2013130. Springer, Heidelberg (2005)"},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"Nielsen, M., Krukow, K.: Towards a formal notion of trust. In: Proc. 5th ACM SIGPLAN Conf. on Principles and Practice of Declaritive Programming (PPDP 2003), pp.\u00a04\u20137 (2003)","DOI":"10.1145\/888251.888253"},{"key":"12_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-540-79707-4_11","volume-title":"Formal Methods for Industrial Critical Systems","author":"M.H. Beek ter","year":"2008","unstructured":"ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: An Action\/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications. In: Leue, S., Merino, P. (eds.) FMICS 2007. LNCS, vol.\u00a04916, pp. 133\u2013148. Springer, Heidelberg (2008)"},{"key":"12_CR22","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1109\/JSAC.2005.861390","volume":"24","author":"G. Theodorakopoulos","year":"2006","unstructured":"Theodorakopoulos, G., Baras, J.S.: On Trust Models and Trust Evaluation Metrics for Ad Hoc Networks. IEEE Journal on Selected Areas in Communications\u00a024, 318\u2013328 (2006)","journal-title":"IEEE Journal on Selected Areas in Communications"},{"key":"12_CR23","first-page":"73","volume":"5","author":"Y. Zhang","year":"2007","unstructured":"Zhang, Y., Lin, L., Huai, J.: Balancing Trust and Incentive in Peer-to-Peer Collaborative Systems. Journal of Network Security\u00a05, 73\u201381 (2007)","journal-title":"Journal of Network Security"},{"issue":"4","key":"12_CR24","doi-asserted-by":"publisher","first-page":"460","DOI":"10.1109\/TPDS.2007.1021","volume":"18","author":"R. Zhou","year":"2007","unstructured":"Zhou, R., Hwang, K.: PowerTrust: A Robust and Scalable Reputation System for Trusted Peer-to-Peer Computing. IEEE Transactions on Parallel and Distributed Systems\u00a018(4), 460\u2013473 (2007)","journal-title":"IEEE Transactions on Parallel and Distributed Systems"}],"container-title":["IFIP Advances in Information and Communication Technology","Trust Management VIII"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-43813-8_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T00:21:02Z","timestamp":1558916462000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-43813-8_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662438121","9783662438138"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-43813-8_12","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"value":"1868-4238","type":"print"},{"value":"1868-422X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}