{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,7]],"date-time":"2026-04-07T19:07:52Z","timestamp":1775588872215,"version":"3.50.1"},"reference-count":61,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2018,2,22]],"date-time":"2018-02-22T00:00:00Z","timestamp":1519257600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Model. Comput. Simul."],"published-print":{"date-parts":[[2018,4,30]]},"abstract":"<jats:p>Collective adaptive systems (CAS) often adopt cooperative operating strategies to run distributed decision-making mechanisms. Sometimes, their effectiveness massively relies on the collaborative nature of individuals\u2019 behavior. Stimulating cooperation while preventing selfish and malicious behaviors is the main objective of trust and reputation models. These models are largely used in distributed, peer-to-peer environments and, therefore, represent an ideal framework for improving the robustness, as well as security, of CAS. In this article, we propose a formal framework for modeling and verifying trusted CAS. From the modeling perspective, mobility, adaptiveness, and trust-based interaction represent the main ingredients used to define a flexible and easy-to-use paradigm. Concerning analysis, formal automated techniques based on equivalence and model checking support the prediction of the CAS behavior and the verification of the underlying trust and reputation models, with the specific aim of estimating robustness with respect to the typical attacks conducted against webs of trust.<\/jats:p>","DOI":"10.1145\/3155337","type":"journal-article","created":{"date-parts":[[2018,2,23]],"date-time":"2018-02-23T16:40:01Z","timestamp":1519404001000},"page":"1-27","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":30,"title":["Design and Verification of Trusted Collective Adaptive Systems"],"prefix":"10.1145","volume":"28","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7250-5011","authenticated-orcid":false,"given":"Alessandro","family":"Aldini","sequence":"first","affiliation":[{"name":"University of Urbino \u201cCarlo Bo\u201d, Urbino, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,2,22]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1002\/sec.1220"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.217.4"},{"key":"e_1_2_1_3_1","doi-asserted-by":"crossref","unstructured":"A. Aldini B. Bernardo and F. Corradini. 2010. A Process Algebraic Approach to Software Architecture Design. Springer.   A. Aldini B. Bernardo and F. Corradini. 2010. A Process Algebraic Approach to Software Architecture Design. Springer.","DOI":"10.1007\/978-1-84800-223-4"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2006.10.003"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.02.007"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.3166\/jancl.19.403-429"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/2964593"},{"key":"e_1_2_1_8_1","volume-title":"Proceedings of the Conference on Computer Security. Springer, 3--18","author":"Beth T.","unstructured":"T. Beth , M. Borcherding , and B. Klein . 1994. Valuation of trust in open networks . In Proceedings of the Conference on Computer Security. Springer, 3--18 . T. Beth, M. Borcherding, and B. Klein. 1994. Valuation of trust in open networks. In Proceedings of the Conference on Computer Security. Springer, 3--18."},{"key":"e_1_2_1_9_1","volume-title":"Proceedings of the 13th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL\u201915)","volume":"194","author":"Bortolussi L.","unstructured":"L. Bortolussi , R. De Nicola , V. Galpin , S. Gilmore , J. Hillston , D. Latella , M. Loreti , and M. Massink . 2015. CARMA: Collective adaptive resource-sharing Markovian agents . In Proceedings of the 13th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL\u201915) , Vol. 194 . EPTCS, 16--31. L. Bortolussi, R. De Nicola, V. Galpin, S. Gilmore, J. Hillston, D. Latella, M. Loreti, and M. Massink. 2015. CARMA: Collective adaptive resource-sharing Markovian agents. In Proceedings of the 13th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL\u201915), Vol. 194. EPTCS, 16--31."},{"key":"e_1_2_1_10_1","volume-title":"Proceedings of the 2nd Workshop on the Economics of Peer-to-Peer Systems (P2PEcon\u201904)","author":"Buchegger S.","year":"2004","unstructured":"S. Buchegger and J.-Y. Le Boudec . 2004 . A robust reputation system for peer-to-peer and mobile ad-hoc networks . In Proceedings of the 2nd Workshop on the Economics of Peer-to-Peer Systems (P2PEcon\u201904) . S. Buchegger and J.-Y. Le Boudec. 2004. A robust reputation system for peer-to-peer and mobile ad-hoc networks. In Proceedings of the 2nd Workshop on the Economics of Peer-to-Peer Systems (P2PEcon\u201904)."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/513800.513828"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30538-5_14"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00231-5"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1186\/s40493-015-0019-z"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/SURV.2011.092110.00088"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/647771.734431"},{"key":"e_1_2_1_17_1","volume-title":"Proceedings of the FOSAD 2001\/2002 Tutorial Lectures. LNCS","volume":"2946","author":"Focardi R.","unstructured":"R. Focardi and R. Gorrieri . 2004. Classification of security properties\u2014Part II: Network security . In Proceedings of the FOSAD 2001\/2002 Tutorial Lectures. LNCS , Vol. 2946 . Springer, 139--185. R. Focardi and R. Gorrieri. 2004. Classification of security properties\u2014Part II: Network security. In Proceedings of the FOSAD 2001\/2002 Tutorial Lectures. LNCS, Vol. 2946. Springer, 139--185."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/1965280"},{"key":"e_1_2_1_19_1","volume-title":"Proceedings of the Network and Service Security (N2S\u201909)","author":"Fung C.","unstructured":"C. Fung , J. Zhang , I. Aib , R. Boutaba , and R. Cohen . 2009. Design of a simulation framework to evaluate trust models for collaborative intrusion detection . In Proceedings of the Network and Service Security (N2S\u201909) . IEEE. C. Fung, J. Zhang, I. Aib, R. Boutaba, and R. Cohen. 2009. Design of a simulation framework to evaluate trust models for collaborative intrusion detection. In Proceedings of the Network and Service Security (N2S\u201909). IEEE."},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1362542.1362546"},{"key":"e_1_2_1_21_1","volume-title":"Proceedings of the IEEE Symposium on Security and Privacy. 11--20","author":"Goguen J. A.","unstructured":"J. A. Goguen and J. Meseguer . 1982. Security policies and security models . In Proceedings of the IEEE Symposium on Security and Privacy. 11--20 . J. A. Goguen and J. Meseguer. 1982. Security policies and security models. In Proceedings of the IEEE Symposium on Security and Privacy. 11--20."},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/2838844"},{"key":"e_1_2_1_23_1","first-page":"1","article-title":"Modeling adversaries in a logic for security protocol analysis","volume":"8","author":"Halpern J.","year":"2012","unstructured":"J. Halpern and R. Pucella . 2012 . Modeling adversaries in a logic for security protocol analysis . Logic. Methods Comput. Sci. 8 (2012), 1 -- 26 . J. Halpern and R. Pucella. 2012. Modeling adversaries in a logic for security protocol analysis. Logic. Methods Comput. Sci. 8 (2012), 1--26.","journal-title":"Logic. Methods Comput. Sci."},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2013.06.014"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/NSWCTC.2010.264"},{"key":"e_1_2_1_26_1","unstructured":"J. Hillston J. Pitt M. Wirsing and F. Zambonelli. 2014. Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis. Technical Report. Dagstuhl Seminar 14512.  J. Hillston J. Pitt M. Wirsing and F. Zambonelli. 2014. Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis. Technical Report. Dagstuhl Seminar 14512."},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1151454.1151499"},{"key":"e_1_2_1_28_1","unstructured":"D. Johnson D. Maltz and J. Broch. 2001. Ad Hoc Networking. Addison-Wesley Chapter DSR: The dynamic source routing protocol for multihop wireless ad hoc networks 139--172.   D. Johnson D. Maltz and J. Broch. 2001. Ad Hoc Networking. Addison-Wesley Chapter DSR: The dynamic source routing protocol for multihop wireless ad hoc networks 139--172."},{"key":"e_1_2_1_29_1","volume-title":"Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW'99)","volume":"1647","author":"Jonker C.","unstructured":"C. Jonker and J. Treur . 1999. Formal analysis of models for the dynamics of trust based on experiences . In Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW'99) (LNCS), Vol. 1647 . Springer, 221--232. C. Jonker and J. Treur. 1999. Formal analysis of models for the dynamics of trust based on experiences. In Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW'99) (LNCS), Vol. 1647. Springer, 221--232."},{"key":"e_1_2_1_30_1","volume-title":"Foundations of Security Analysis and Design IV. LNCS","author":"J\u00f8sang A.","unstructured":"A. J\u00f8sang . 2007. Trust and reputation systems . In Foundations of Security Analysis and Design IV. LNCS , Vol. 4677 . Springer , 209--245. A. J\u00f8sang. 2007. Trust and reputation systems. In Foundations of Security Analysis and Design IV. LNCS, Vol. 4677. Springer, 209--245."},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/775152.775242"},{"key":"e_1_2_1_32_1","first-page":"4","article-title":"Effects of a trust mechanism on complex adaptive supply networks: An agent-based social simulation study","volume":"12","author":"Kim W.-S.","year":"2009","unstructured":"W.-S. Kim . 2009 . Effects of a trust mechanism on complex adaptive supply networks: An agent-based social simulation study . J. Artific. Societ. Soc. Simul. 12 , 3 (2009), 4 . W.-S. Kim. 2009. Effects of a trust mechanism on complex adaptive supply networks: An agent-based social simulation study. J. Artific. Societ. Soc. Simul. 12, 3 (2009), 4.","journal-title":"J. Artific. Societ. Soc. Simul."},{"key":"e_1_2_1_33_1","volume-title":"Proceedings of the International Workshop on Strategic Reasoning (SR\u201913)","volume":"112","author":"Kwiatkowska M.","unstructured":"M. Kwiatkowska , D. Parker , and A. Simaitis . 2013. Strategic analysis of trust models for user-centric networks . In Proceedings of the International Workshop on Strategic Reasoning (SR\u201913) , Vol. 112 . EPTCS, 53--60. M. Kwiatkowska, D. Parker, and A. Simaitis. 2013. Strategic analysis of trust models for user-centric networks. In Proceedings of the International Workshop on Strategic Reasoning (SR\u201913), Vol. 112. EPTCS, 53--60."},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2008.4481349"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/TMC.2011.151"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-34096-8_4"},{"key":"e_1_2_1_37_1","volume-title":"Proceedings of the 14th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL\u201916)","volume":"227","author":"Luisa Vissat L.","unstructured":"L. Luisa Vissat , J. Hillston , G. Marion , and M. Smith . 2016. MELA: Modelling in ecology with location attributes . In Proceedings of the 14th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL\u201916) , Vol. 227 . EPTCS, 82--97. L. Luisa Vissat, J. Hillston, G. Marion, and M. Smith. 2016. MELA: Modelling in ecology with location attributes. In Proceedings of the 14th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL\u201916), Vol. 227. EPTCS, 82--97."},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2009.05.005"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1108\/10662241111123739"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/11494881_8"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.03.024"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14478-3_4"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2015.07.011"},{"key":"e_1_2_1_44_1","volume-title":"Proceedings of the 7th International Workshop on Formal Aspects in Security and Trust (FAST\u201910)","volume":"6561","author":"Muller T.","year":"2010","unstructured":"T. Muller . 2010 . Semantics of trust . In Proceedings of the 7th International Workshop on Formal Aspects in Security and Trust (FAST\u201910) (LNCS), Vol. 6561 . Springer, 141--156. T. Muller. 2010. Semantics of trust. In Proceedings of the 7th International Workshop on Formal Aspects in Security and Trust (FAST\u201910) (LNCS), Vol. 6561. Springer, 141--156."},{"key":"e_1_2_1_45_1","volume-title":"Proceedings of the 24th International Conference on Distributed Computing Systems Workshops. IEEE, 582--587","author":"Ngai E. C. H.","unstructured":"E. C. H. Ngai and M. R. Lyu . 2004. Trust- and clustering-based authentication services in mobile ad hoc networks . In Proceedings of the 24th International Conference on Distributed Computing Systems Workshops. IEEE, 582--587 . E. C. H. Ngai and M. R. Lyu. 2004. Trust- and clustering-based authentication services in mobile ad hoc networks. In Proceedings of the 24th International Conference on Distributed Computing Systems Workshops. IEEE, 582--587."},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2010.83"},{"key":"e_1_2_1_47_1","doi-asserted-by":"crossref","unstructured":"H. S. Packer L. Dragan and L. Moreau. 2014. An auditable reputation service for collective adaptive systems. In Social Collective Intelligence: Combining the Powers of Humans and Machines to Build a Smarter Society. Springer 159--184.  H. S. Packer L. Dragan and L. Moreau. 2014. An auditable reputation service for collective adaptive systems. In Social Collective Intelligence: Combining the Powers of Humans and Machines to Build a Smarter Society. Springer 159--184.","DOI":"10.1007\/978-3-319-08681-1_8"},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDEW.2007.4401061"},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2013.09.001"},{"key":"e_1_2_1_50_1","volume-title":"Proceedings of the IAT Workshop on Reputation in Agent Societies.","author":"Schlosser A.","unstructured":"A. Schlosser , M. Voss , and L. Brckner . 2004. Comparing and evaluating metrics for reputation systems by simulation . In Proceedings of the IAT Workshop on Reputation in Agent Societies. A. Schlosser, M. Voss, and L. Brckner. 2004. Comparing and evaluating metrics for reputation systems by simulation. In Proceedings of the IAT Workshop on Reputation in Agent Societies."},{"key":"e_1_2_1_51_1","volume-title":"Proceedings of the IEEE Conference on Computer Communications (INFOCOM\u201915)","author":"Tarable A.","unstructured":"A. Tarable , A. Nordio , E. Leonardi , and M. G. Ajmone Marsan . 2015. The importance of being earnest in crowdsourcing systems . In Proceedings of the IEEE Conference on Computer Communications (INFOCOM\u201915) . IEEE, 2821--2829. A. Tarable, A. Nordio, E. Leonardi, and M. G. Ajmone Marsan. 2015. The importance of being earnest in crowdsourcing systems. In Proceedings of the IEEE Conference on Computer Communications (INFOCOM\u201915). IEEE, 2821--2829."},{"key":"e_1_2_1_52_1","volume-title":"Proceedings of the 12th Workshop on Formal Methods for Industrial Critical Systems (FMICS\u201908)","volume":"4916","author":"Beek M.","unstructured":"M. ter Beek , A. Fantechi , S. Gnesi , and F. Mazzanti . 2008. An action\/state-based model-checking approach for the analysis of communication protocols for service-oriented applications . In Proceedings of the 12th Workshop on Formal Methods for Industrial Critical Systems (FMICS\u201908) , Vol. 4916 . LNCS, 133--148. M. ter Beek, A. Fantechi, S. Gnesi, and F. Mazzanti. 2008. An action\/state-based model-checking approach for the analysis of communication protocols for service-oriented applications. In Proceedings of the 12th Workshop on Formal Methods for Industrial Critical Systems (FMICS\u201908), Vol. 4916. LNCS, 133--148."},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2005.861390"},{"key":"e_1_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.mcm.2008.05.005"},{"key":"e_1_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2011.02.036"},{"key":"e_1_2_1_56_1","volume-title":"Proceedings of the Conference on Parallel Languages (PARLE\u201987)","volume":"259","author":"van Glabbeek R. J.","unstructured":"R. J. van Glabbeek and F. Vaandrager . 1987. Petri net models for algebraic theories of concurrency . In Proceedings of the Conference on Parallel Languages (PARLE\u201987) (LNCS), Vol. 259 . Springer, 224--242. R. J. van Glabbeek and F. Vaandrager. 1987. Petri net models for algebraic theories of concurrency. In Proceedings of the Conference on Parallel Languages (PARLE\u201987) (LNCS), Vol. 259. Springer, 224--242."},{"key":"e_1_2_1_57_1","doi-asserted-by":"crossref","unstructured":"Y. Wang Z. Cai G. Yin X. Tong and Q. Han. 2016. A game theory-based trust measurement model for social networks. Comput. Soc. Netw. 3 2 (2016).  Y. Wang Z. Cai G. Yin X. Tong and Q. Han. 2016. A game theory-based trust measurement model for social networks. Comput. Soc. Netw. 3 2 (2016).","DOI":"10.1186\/s40649-016-0027-x"},{"key":"e_1_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2004.1318566"},{"key":"e_1_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/2245276.2232112"},{"key":"e_1_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jnca.2011.03.005"},{"key":"e_1_2_1_61_1","first-page":"73","article-title":"Balancing trust and incentive in peer-to-peer collaborative system","volume":"5","author":"Zhang Y.","year":"2007","unstructured":"Y. Zhang , L. Lin , and J. Huai . 2007 . Balancing trust and incentive in peer-to-peer collaborative system . J. Netw. Sec. 5 (2007), 73 -- 81 . Y. Zhang, L. Lin, and J. Huai. 2007. Balancing trust and incentive in peer-to-peer collaborative system. J. Netw. Sec. 5 (2007), 73--81.","journal-title":"J. Netw. Sec."}],"container-title":["ACM Transactions on Modeling and Computer Simulation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3155337","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3155337","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:26:28Z","timestamp":1750213588000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3155337"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,2,22]]},"references-count":61,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2018,4,30]]}},"alternative-id":["10.1145\/3155337"],"URL":"https:\/\/doi.org\/10.1145\/3155337","relation":{},"ISSN":["1049-3301","1558-1195"],"issn-type":[{"value":"1049-3301","type":"print"},{"value":"1558-1195","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,2,22]]},"assertion":[{"value":"2017-01-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-10-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-02-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}