{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T01:17:45Z","timestamp":1725585465096},"publisher-location":"Berlin, Heidelberg","reference-count":43,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642214547"},{"type":"electronic","value":"9783642214554"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21455-4_12","type":"book-chapter","created":{"date-parts":[[2011,6,10]],"date-time":"2011-06-10T10:00:01Z","timestamp":1307700001000},"page":"393-416","source":"Crossref","is-referenced-by-count":2,"title":["Security and Trust"],"prefix":"10.1007","author":[{"given":"Gabriele","family":"Costa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Val\u00e9rie","family":"Issarny","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabio","family":"Martinelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ilaria","family":"Matteucci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rachid","family":"Saadi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"J\u00f8sang, A., Keser, C., Dimitrakos, T.: An we manage trust?, pp. 93\u2013107 (2005)","DOI":"10.1007\/11429760_7"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Necula, G.C.: Proof-carrying code. In: Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Langauges (POPL 1997), pp. 106\u2013119 (1997)","DOI":"10.1145\/263699.263712"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Sekar, R., Venkatakrishnan, V., Basu, S., Bhatkar, S., DuVarney, D.C.: Model-carrying code: a practical approach for safe execution of untrusted applications. In: SOSP 2003: Proceedings of the Nineteenth ACM Symposium on Operating Systems Principles, pp. 15\u201328 (2003)","DOI":"10.1145\/945445.945448"},{"issue":"3","key":"12_CR4","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/40.591650","volume":"17","author":"L. Gong","year":"1997","unstructured":"Gong, L.: Java Security: Present and Near Future. IEEE Micro\u00a017(3), 14\u201319 (1997)","journal-title":"IEEE Micro"},{"key":"12_CR5","first-page":"2000","volume":"3","author":"F.B. Schneider","year":"1998","unstructured":"Schneider, F.B.: Enforceable security policies. ACM Transactions on Information and System Security\u00a03, 2000 (1998)","journal-title":"ACM Transactions on Information and System Security"},{"key":"12_CR6","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/s10207-004-0046-8","volume":"4","author":"J. Ligatti","year":"2005","unstructured":"Ligatti, J., Bauer, L., Walker, D.: Edit automata: Enforcement mechanisms for run-time security policies. International Journal of Information Security\u00a04, 2\u201316 (2005)","journal-title":"International Journal of Information Security"},{"key":"12_CR7","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1109\/TSE.1977.229904","volume":"3","author":"L. Lamport","year":"1977","unstructured":"Lamport, L.: Proving the correctness of multiprocess programs. IEEE Trans. Softw. Eng.\u00a03, 125\u2013143 (1977)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"12_CR8","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1145\/304851.304857","volume-title":"Proceedings of the 1996 Workshop on New Security Paradigms","author":"L. Rasmusson","year":"1996","unstructured":"Rasmusson, L., Jansson, S.: Simulated social control for secure Internet commerce. In: Proceedings of the 1996 Workshop on New Security Paradigms, pp. 18\u201325. ACM, New York (1996)"},{"key":"12_CR9","volume-title":"Trust: The social virtues and the creation of prosperity","author":"F. Fukuyama","year":"1996","unstructured":"Fukuyama, F.: Trust: The social virtues and the creation of prosperity. Free Press, New York (1996)"},{"issue":"1","key":"12_CR10","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1086\/228943","volume":"94","author":"J. Coleman","year":"1988","unstructured":"Coleman, J.: Social capital in the creation of human capital. American Journal of Sociology\u00a094(1), 95\u2013120 (1988)","journal-title":"American Journal of Sociology"},{"issue":"4","key":"12_CR11","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1109\/COMST.2000.5340804","volume":"3","author":"T. Grandison","year":"2009","unstructured":"Grandison, T., Sloman, M.: A survey of trust in internet applications. IEEE Communications Surveys & Tutorials\u00a03(4), 2\u201316 (2009)","journal-title":"IEEE Communications Surveys & Tutorials"},{"issue":"3","key":"12_CR12","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/245108.245123","volume":"40","author":"H. Kautz","year":"1997","unstructured":"Kautz, H., Selman, B., Shah, M.: Referral Web: combining social networks and collaborative filtering. Communications of the ACM\u00a040(3), 63\u201365 (1997)","journal-title":"Communications of the ACM"},{"key":"12_CR13","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1145\/283699.283739","volume-title":"NSPW: New Security Paradigms Workshop","author":"A. Abdul-Rahman","year":"1997","unstructured":"Abdul-Rahman, A., Hailes, S.: A distributed trust model. In: NSPW: New Security Paradigms Workshop, pp. 48\u201360. ACM Press, New York (1997)"},{"key":"12_CR14","volume-title":"ACM SAC: Trust, Reputation, Evidence and other Collaboration Know-how track","author":"R. Saadi","year":"2010","unstructured":"Saadi, R., Pierson, J.M., Brunie, L.: Establishing trust beliefs based on a uniform disposition to trust. In: ACM SAC: Trust, Reputation, Evidence and other Collaboration Know-how track. ACM Press, New York (2010)"},{"key":"12_CR15","first-page":"59","volume-title":"APCCM: 2nd Asia-Pacific Conference on Conceptual Modelling","author":"A. J\u00f8sang","year":"2005","unstructured":"J\u00f8sang, A., Pope, S.: Semantic constraints for trust transitivity. In: APCCM: 2nd Asia-Pacific Conference on Conceptual Modelling, pp. 59\u201368. Australian Computer Society, Inc., Newcastle (2005)"},{"key":"12_CR16","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1109\/ICWS.2009.54","volume-title":"Proceedings of the 2009 IEEE International Conference on Web Services","author":"S. Nepal","year":"2009","unstructured":"Nepal, S., Malik, Z., Bouguettaya, A.: Reputation Propagation in Composite Services. In: Proceedings of the 2009 IEEE International Conference on Web Services, vol.\u00a000, pp. 295\u2013302. IEEE Computer Society, Los Alamitos (2009)"},{"key":"12_CR17","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1109\/ICWS.2009.106","volume-title":"Proceedings of the 2009 IEEE International Conference on Web Services","author":"S. Paradesi","year":"2009","unstructured":"Paradesi, S., Doshi, P., Swaika, S.: Integrating Behavioral Trust in Web Service Compositions. In: Proceedings of the 2009 IEEE International Conference on Web Services, pp. 453\u2013460. IEEE Computer Society, Los Alamitos (2009)"},{"key":"12_CR18","first-page":"2048","volume-title":"Proceedings of ICACT","author":"Y. Kim","year":"2008","unstructured":"Kim, Y., Doh, K.: Trust Type based Semantic Web Services Assessment and Selection. In: Proceedings of ICACT, pp. 2048\u20132053. IEEE Computer, Los Alamitos (2008)"},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Nurmi, P.: A bayesian framework for online reputation systems. In: International Conference on Internet and Web Applications and Services\/Advanced International Conference on Telecommunications, AICT-ICIW 2006, pp. 121\u2013121 (2006)","DOI":"10.1109\/AICT-ICIW.2006.2"},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"Xiong, L., Liu, L.: A reputation-based trust model for peer-to-peer ecommerce communities. In: 4th ACM Conference on Electronic Commerce, pp. 228\u2013229 (2003)","DOI":"10.1145\/779928.779972"},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"Zhou, R., Hwang, K., Cai, M.: Gossiptrust for fast reputation aggregation in peer-to-peer networks. IEEE Transactions on Knowledge and Data Engineering, 1282\u20131295 (2008)","DOI":"10.1109\/TKDE.2008.48"},{"issue":"6","key":"12_CR22","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1109\/MIC.2005.136","volume":"9","author":"S. Song","year":"2005","unstructured":"Song, S., Hwang, K., Zhou, R., Kwok, Y.: Trusted P2P transactions with fuzzy reputation aggregation. IEEE Internet Computing\u00a09(6), 24\u201334 (2005)","journal-title":"IEEE Internet Computing"},{"key":"12_CR23","volume-title":"The official PGP user\u2019s guide","author":"P.R. Zimmermann","year":"1995","unstructured":"Zimmermann, P.R.: The official PGP user\u2019s guide. MIT Press, Cambridge (1995)"},{"key":"12_CR24","unstructured":"Marsh, S.: Formalising Trust as a Computational Concept. PhD thesis, University of Stirling, Scotland (1994)"},{"key":"12_CR25","first-page":"282","volume-title":"CCNC: IEEE Consumer Communications and Networking Conference","author":"J. Golbeck","year":"2006","unstructured":"Golbeck, J., Hendler, J.: Filmtrust: Movie recommendations using trust in web-based social networks. In: CCNC: IEEE Consumer Communications and Networking Conference, Las Vegas, NV, USA, pp. 282\u2013286. IEEE Computer Society, Los Alamitos (2006)"},{"key":"12_CR26","first-page":"1","volume-title":"3rd ACM Workshop on Wireless Security","author":"G. Theodorakopoulos","year":"2004","unstructured":"Theodorakopoulos, G., Baras, J.S.: Trust evaluation in ad-hoc networks. In: 3rd ACM Workshop on Wireless Security, pp. 1\u201310. ACM Press, New York (2004)"},{"key":"12_CR27","doi-asserted-by":"crossref","unstructured":"Quercia, D., Hailes, S., Capra, L.: TRULLO-local trust bootstrapping for ubiquitous devices. In: Proc. of IEEE Mobiquitous (2007)","DOI":"10.1109\/MOBIQ.2007.4451015"},{"key":"12_CR28","doi-asserted-by":"crossref","unstructured":"Haque, M., Ahamed, S.: An omnipresent formal trust model (FTM) for pervasive computing environment. In: 31st Annual International Computer Software and Applications Conference, COMPSAC 2007, vol.\u00a01 (2007)","DOI":"10.1109\/COMPSAC.2007.69"},{"key":"12_CR29","unstructured":"Jsang, A., Ismail, R.: The beta reputation system. In: Proceedings of the 15th Bled Electronic Commerce Conference, pp. 17\u201319 (2002)"},{"key":"12_CR30","unstructured":"Rahman, A., Hailes, S.: Supporting trust in virtual communities. In: IEEE Hawaii International Conference on System Sciences, p. 6007 (2000)"},{"key":"12_CR31","doi-asserted-by":"crossref","unstructured":"Ahamed, S., Monjur, M., Islam, M.: CCTB: Context correlation for trust bootstrapping in pervasive environment. In: 2008 IET 4th International Conference on Intelligent Environments, pp. 1\u20138 (2008)","DOI":"10.1109\/PST.2008.19"},{"key":"12_CR32","unstructured":"Mui, L., Mohtashemi, M., Ang, C., Szolovits, P., Halberstadt, A.: Ratings in distributed systems: A bayesian approach. In: Proceedings of the Workshop on Information Technologies and Systems (WITS), pp. 1\u20137. Citeseer (2001)"},{"issue":"4","key":"12_CR33","doi-asserted-by":"publisher","first-page":"528","DOI":"10.1002\/asi.20307","volume":"57","author":"R. Aringhieri","year":"2006","unstructured":"Aringhieri, R., Damiani, E., Di Vimercati, S.D.C., Paraboschi, S., Samarati, P.: Fuzzy techniques for trust and reputation management in anonymous peer-to-peer systems: Special topic section on soft approaches to information retrieval and information access on the web. JASIST: Journal of the American Society for Information Science and Technology\u00a057(4), 528\u2013537 (2006)","journal-title":"JASIST : Journal of the American Society for Information Science and Technology"},{"key":"12_CR34","volume-title":"At your service - Service-Oriented Computing from an EU Perspective","author":"N. Dragoni","year":"2008","unstructured":"Dragoni, N., Martinelli, F., Massacci, F., Mori, P., Schaefer, C., Walter, T., Vetillard, E.: Security-by-contract (SxC) for software and services of mobile systems. In: At your service - Service-Oriented Computing from an EU Perspective. MIT Press, Cambridge (2008)"},{"key":"12_CR35","doi-asserted-by":"crossref","unstructured":"Labs, T.: Ontology. S3MS CP-2006-RT-503-0.3 (2006)","DOI":"10.1182\/asheducation-2006.1.503"},{"key":"12_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1007\/978-3-540-88625-9_17","volume-title":"Information and Communications Security","author":"A. Castrucci","year":"2008","unstructured":"Castrucci, A., Martinelli, F., Mori, P., Roperti, F.: Enhancing java ME security support with resource usage monitoring. In: Chen, L., Ryan, M.D., Wang, G. (eds.) ICICS 2008. LNCS, vol.\u00a05308, pp. 256\u2013266. Springer, Heidelberg (2008)"},{"key":"12_CR37","doi-asserted-by":"crossref","unstructured":"Costa, G., Martinelli, F., Mori, P., Schaefer, C., Walter, T.: Runtime monitoring for next generation java me platform. Computers & Security (2009)","DOI":"10.1016\/j.cose.2009.07.005"},{"key":"12_CR38","first-page":"25","volume-title":"Security-by-contract on the .net platform","author":"L. Desmet","year":"2008","unstructured":"Desmet, L., Joosen, W., Massacci, F., Philippaerts, P., Piessens, F., Siahaan, I., Vanoverberghe, D.: Security-by-contract on the .net platform, Oxford, UK, vol.\u00a013, pp. 25\u201332. Elsevier Advanced Technology Publications, Amsterdam (2008)"},{"key":"12_CR39","volume-title":"Communicating and mobile systems: the \u03c0-calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and mobile systems: the \u03c0-calculus. Cambridge University Press, Cambridge (1999)"},{"key":"12_CR40","doi-asserted-by":"crossref","unstructured":"Greci, P., Martinelli, F., Matteucci, I.: A framework for contract-policy matching based on symbolic simulations for securing mobile device application. In: ISoLA, pp. 221\u2013236 (2008)","DOI":"10.1007\/978-3-540-88479-8_16"},{"key":"12_CR41","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1109\/CISIS.2010.33","volume-title":"Proceeding of CISIS 2010, The Fourth International Conference on Complex, Intelligent and Software Intensive Systems","author":"G. Costa","year":"2010","unstructured":"Costa, G., Dragoni, N., Lazouski, A., Martinelli, F., Massacci, F., Matteucci, I.: Extending security-by-contract with quantitative trust on mobile devices. In: Proceeding of CISIS 2010, The Fourth International Conference on Complex, Intelligent and Software Intensive Systems, Krakow, Poland, pp. 872\u2013877. IEEE Computer Society, Los Alamitos (2010)"},{"issue":"4","key":"12_CR42","first-page":"75","volume":"1","author":"G. Costa","year":"2011","unstructured":"Costa, G., Dragoni, N., Issarny, V., Lazouski, A., Martinelli, F., Massacci, F., Matteucci, I., Saadi, R.: Extending security-by-contract with quantitative trust on mobile devices. Journal of Wireless Mobile Networks, Ubiquitous Computing and Dependable Applications (JOWUA)\u00a01(4), 75\u201391 (2011) ISSN (print): 2093-5374, ISSN (on-line): 2093-5382","journal-title":"Journal of Wireless Mobile Networks, Ubiquitous Computing and Dependable Applications (JOWUA)"},{"issue":"1","key":"12_CR43","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 Computing Surveys (CSUR)\u00a042(1), 1\u201331 (2009)","journal-title":"ACM Computing Surveys (CSUR)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Eternal Networked Software Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21455-4_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T12:25:03Z","timestamp":1560255903000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21455-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642214547","9783642214554"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21455-4_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}