{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T08:06:32Z","timestamp":1759133192968,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662438121"},{"type":"electronic","value":"9783662438138"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-43813-8_4","type":"book-chapter","created":{"date-parts":[[2014,6,23]],"date-time":"2014-06-23T12:45:13Z","timestamp":1403527513000},"page":"44-60","source":"Crossref","is-referenced-by-count":9,"title":["On Robustness of Trust Systems"],"prefix":"10.1007","author":[{"given":"Tim","family":"Muller","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yang","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sjouke","family":"Mauw","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jie","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Baeten, J.C.M., Basten, T., Reniers, M.A.: Process algebra: equational theories of communicating processes, vol.\u00a050. Cambridge University Press (2010)","DOI":"10.1017\/CBO9781139195003"},{"key":"4_CR2","unstructured":"Billingsley, P.: Probability and measure, 3rd edn. Wiley (1995)"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-642-28641-4_2","volume-title":"Principles of Security and Trust","author":"B. Blanchet","year":"2012","unstructured":"Blanchet, B.: Security protocol verification: Symbolic and computational models. In: Degano, P., Guttman, J.D. (eds.) Principles of Security and Trust. LNCS, vol.\u00a07215, pp. 3\u201329. Springer, Heidelberg (2012)"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Blanchet, B., Abadi, M., Fournet, C.: Automated verification of selected equivalences for security protocols. In: Logic in Computer Science, pp. 331\u2013340. IEEE (2005)","DOI":"10.1109\/LICS.2005.8"},{"issue":"2","key":"4_CR5","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","volume":"29","author":"D. Dolev","year":"1983","unstructured":"Dolev, D., Yao, A.C.: On the security of public key protocols. IEEE Transactions on Information Theory\u00a029(2), 198\u2013208 (1983)","journal-title":"IEEE Transactions on Information Theory"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/3-540-45748-8_24","volume-title":"Peer-to-Peer Systems","author":"J.R. Douceur","year":"2002","unstructured":"Douceur, J.R.: The sybil attack. In: Druschel, P., Kaashoek, M.F., Rowstron, A. (eds.) IPTPS 2002. LNCS, vol.\u00a02429, pp. 251\u2013260. Springer, Heidelberg (2002)"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A.: The theory of hybrid automata. Springer (2000)","DOI":"10.1007\/978-3-642-59615-5_13"},{"issue":"1","key":"4_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1592451.1592452","volume":"42","author":"K. Hoffman","year":"2009","unstructured":"Hoffman, K., Zage, D., Nita-Rotaru, C.: A survey of attack and defense techniques for reputation systems. ACM Comput. Surv.\u00a042(1), 1\u201331 (2009)","journal-title":"ACM Comput. Surv."},{"key":"4_CR9","unstructured":"Jiang, S., Zhang, J., Ong, Y.-S.: An evolutionary model for constructing robust trust networks. In: Autonomous Agents and Multi-Agent Systems, pp. 813\u2013820. IFAAMAS (2013)"},{"key":"4_CR10","unstructured":"J\u00f8sang, A., Golbeck, J.: Challenges for robust trust and reputation systems. In: Security and Trust Management, Saint Malo, France (2009)"},{"key":"4_CR11","unstructured":"J\u00f8sang, A., Ismail, R.: The beta reputation system. In: Bled Electronic Commerce Conference, pp. 41\u201355 (2002)"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Kerr, R., Cohen, R.: Towards provably secure trust and reputation systems in e-marketplaces. In: Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems, p. 172. ACM (2007)","DOI":"10.1145\/1329125.1329334"},{"key":"4_CR13","unstructured":"Kerr, R., Cohen, R.: Smart cheaters do prosper: defeating trust and reputation systems. In: Autonomous Agents and Multiagent Systems, vol.\u00a02, pp. 993\u20131000. International Foundation for Autonomous Agents and Multiagent Systems (2009)"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1007\/978-3-540-78499-9_30","volume-title":"Foundations of Software Science and Computational Structures","author":"B. Klin","year":"2008","unstructured":"Klin, B., Sassone, V.: Structural operational semantics for stochastic process calculi. In: Amadio, R.M. (ed.) FOSSACS 2008. LNCS, vol.\u00a04962, pp. 428\u2013442. Springer, Heidelberg (2008)"},{"key":"4_CR15","unstructured":"Koblitz, N., Menezes, A.: Another look at \u201cprovable security\u201d. Cryptology ePrint Archive, Report 2004\/152 (2004)"},{"key":"4_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/978-3-540-30206-3_21","volume-title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems","author":"M. Kwiatkowska","year":"2004","unstructured":"Kwiatkowska, M., Norman, G., Sproston, J., Wang, F.: Symbolic model checking for probabilistic timed automata. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS 2004 and FTRTFT 2004. LNCS, vol.\u00a03253, pp. 293\u2013308. Springer, Heidelberg (2004)"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Lam, S.K., Riedl, J.: Shilling recommender systems for fun and profit. In: International Conference on World Wide Web, pp. 393\u2013402. ACM (2004)","DOI":"10.1145\/988672.988726"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Mui, L., Mohtashemi, M., Halberstadt, A.: A computational model of trust and reputation. In: System Sciences, HICSS, pp. 2431\u20132439. IEEE (2002)","DOI":"10.1109\/HICSS.2002.994181"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Muller, T., Liu, Y., Mauw, S., Zhang, J.: On robustness of trust systems. Technical report, Nanyang Technological University (2014), http:\/\/pat.sce.ntu.edu.sg\/tim\/papers\/robustnesstechreport.pdf","DOI":"10.1007\/978-3-662-43813-8_4"},{"key":"4_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-642-37119-6_9","volume-title":"Foundations and Practice of Security","author":"T. Muller","year":"2013","unstructured":"Muller, T., Schweitzer, P.: A formal derivation of composite trust. In: Garcia-Alfaro, J., Cuppens, F., Cuppens-Boulahia, N., Miri, A., Tawbi, N. (eds.) FPS 2012. LNCS, vol.\u00a07743, pp. 132\u2013148. Springer, Heidelberg (2013)"},{"key":"4_CR21","series-title":"IFIP","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-642-38323-6_4","volume-title":"Trust Management VII","author":"T. Muller","year":"2013","unstructured":"Muller, T., Schweitzer, P.: On beta models with trust chains. In: Fern\u00e1ndez-Gago, C., Martinelli, F., Pearson, S., Agudo, I. (eds.) IFIPTM 2013. IFIP, vol.\u00a0401, pp. 49\u201365. Springer, Heidelberg (2013)"},{"key":"4_CR22","volume-title":"Introduction to the numerical solution of Markov chains","author":"W.J. Stewart","year":"1994","unstructured":"Stewart, W.J.: Introduction to the numerical solution of Markov chains, vol.\u00a041. Princeton University Press, Princeton (1994)"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Sun, Y.L., Han, Z., Yu, W., Liu, K.J.R.: Attacks on trust evaluation in distributed networks. In: Information Sciences and Systems, pp. 1461\u20131466. IEEE (2006)","DOI":"10.1109\/CISS.2006.286695"},{"issue":"3","key":"4_CR24","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1016\/j.elerap.2008.03.001","volume":"7","author":"J. Zhang","year":"2008","unstructured":"Zhang, J., Cohen, R.: Evaluating the trustworthiness of advice about seller agents in e-marketplaces: A personalized approach. Electronic Commerce Research and Applications\u00a07(3), 330\u2013340 (2008)","journal-title":"Electronic Commerce Research and Applications"},{"key":"4_CR25","series-title":"IFIP AICT","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/978-3-642-29852-3_3","volume-title":"Trust Management VI","author":"L. Zhang","year":"2012","unstructured":"Zhang, L., Jiang, S., Zhang, J., Ng, W.K.: Robustness of trust models and combinations for handling unfair ratings. In: Dimitrakos, T., Moona, R., Patel, D., McKnight, D.H. (eds.) IFIPTM 2012. IFIP AICT, vol.\u00a0374, pp. 36\u201351. Springer, Heidelberg (2012)"}],"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_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T12:35:44Z","timestamp":1746275744000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-43813-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662438121","9783662438138"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-43813-8_4","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2014]]}}}