{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,17]],"date-time":"2025-11-17T02:52:26Z","timestamp":1763347946350,"version":"3.40.5"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2015,2,3]],"date-time":"2015-02-03T00:00:00Z","timestamp":1422921600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["World Wide Web"],"published-print":{"date-parts":[[2016,1]]},"DOI":"10.1007\/s11280-015-0324-6","type":"journal-article","created":{"date-parts":[[2015,2,2]],"date-time":"2015-02-02T09:02:32Z","timestamp":1422867752000},"page":"21-39","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Behavior evaluation for trust management based on formal distributed network monitoring"],"prefix":"10.1007","volume":"19","author":[{"given":"Jorge","family":"Lopez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephane","family":"Maag","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerardo","family":"Morales","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,2,3]]},"reference":[{"key":"324_CR1","doi-asserted-by":"crossref","unstructured":"Blaze, M., Feigenbaum, J., Keromytis, A.D.: Keynote: trust management for public-key infrastructures. In: Proceedings of the security protocols, 6th international workshop, Cambridge, UK, pp 59\u201363. Springer (1999)","DOI":"10.1007\/3-540-49135-X_9"},{"key":"324_CR2","doi-asserted-by":"crossref","unstructured":"Blaze, M., Feigenbaum, J., Lacy, J.: Decentralized trust management. In: Proceedings of the IEEE symposium on security and privacy, Oakland, CA, USA, pp 164\u2013173 (1996)","DOI":"10.1109\/SECPRI.1996.502679"},{"key":"324_CR3","doi-asserted-by":"crossref","unstructured":"Cavalli, A.R., Maag, S., de Oca, E.M.: A passive conformance testing approach for a manet routing protocol. In: Proceedings of the 2009 ACM symposium on applied computing (SAC), USA, pp 207\u2013211 (2009)","DOI":"10.1145\/1529282.1529326"},{"key":"324_CR4","doi-asserted-by":"crossref","unstructured":"Che, X., Lalanne, F., Maag, S.: A logic-based passive testing approach for the validation of communicating protocols. In: Proceedings of the 7th international conference on evaluation of novel approaches to software engineering, ENASE, Wroclaw, Poland, pp 53\u201364. SciTePress (2012)","DOI":"10.5220\/0003990100530064"},{"key":"324_CR5","doi-asserted-by":"crossref","unstructured":"Che, X., Lalanne, F., Maag, S.: A logic-based passive testing approach for the validation of communicating protocols. In: Proceedings of the 7th international conference on evaluation of novel approaches to software engineering, Wroclaw, Poland, pp 53\u201364 (2012)","DOI":"10.5220\/0003990100530064"},{"issue":"3","key":"324_CR6","first-page":"127","volume":"2","author":"Y-H Chu","year":"1997","unstructured":"Chu, Y.-H., Feigenbaum, J., Lamacchia, B., Resnick, P., Strauss, M.: Referee: trust management for web applications. O\u2019Reilly World Wide Web J. 2(3), 127\u2013139 (1997)","journal-title":"O\u2019Reilly World Wide Web J."},{"key":"324_CR7","unstructured":"Dagon, D., Provos, N., Lee, C.P., Lee, W.: Corrupted dns resolution paths: The rise of a malicious resolution authority. In: Proceedings of the network and distributed system security symposium, NDSS, San Diego, California. The Internet Society (2008)"},{"key":"324_CR8","doi-asserted-by":"crossref","unstructured":"Dierks, T.: The transport layer security (tls) protocol version 1.2. RFC 5246 (2008)","DOI":"10.17487\/rfc5246"},{"key":"324_CR9","doi-asserted-by":"crossref","unstructured":"Fan, L., Wang, Y., Cheng, X., Li, J.: Prevent dns cache poisoning using security proxy. In: Proceeding of IEEE 12th international conference on parallel and distributed computing, applications and technologies, PDCAT 2011, Gwangju, Korea, pp 387\u2013393 (2011)","DOI":"10.1109\/PDCAT.2011.69"},{"key":"324_CR10","doi-asserted-by":"crossref","unstructured":"Freier, A., Karlton, P., Kocher, P.: The secure sockets layer (ssl) protocol version 3.0. RFC 6101 (2011)","DOI":"10.17487\/rfc6101"},{"issue":"4","key":"324_CR11","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1109\/COMST.2000.5340804","volume":"3","author":"T Grandison","year":"2000","unstructured":"Grandison, T., Sloman, M.: A survey of trust in internet applications. IEEE Commun. Surv. Tutor. 3(4), 2\u201316 (2000)","journal-title":"IEEE Commun. Surv. Tutor."},{"key":"324_CR12","doi-asserted-by":"crossref","unstructured":"Grandison, T., Sloman, M.: Trust management tools for internet applications. In: Proceedings of trust management, springer first international conference, iTrust, Heraklion, Crete, Greece, pp 91\u2013107 (2003)","DOI":"10.1007\/3-540-44875-6_7"},{"issue":"1-2","key":"324_CR13","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/s12243-008-0050-5","volume":"64","author":"DA Haidar","year":"2009","unstructured":"Haidar, D.A., Cuppens-Boulahia, N., Cuppens, F., Debar, H.: Xena: an access negotiation framework using xacml. Ann. Telecommun. 64(1-2), 155\u2013169 (2009)","journal-title":"Ann. Telecommun."},{"key":"324_CR14","unstructured":"Holzmann, G.J.: The spin model checker : primer and reference manual (2004)"},{"key":"324_CR15","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/B978-0-12-408094-2.00003-5","volume":"89","author":"M-N Irfan","year":"2013","unstructured":"Irfan, M.-N., Oriat, C., Groz, R.: Model inference and testing. Adv. Comput. 89, 89\u2013139 (2013)","journal-title":"Adv. Comput."},{"key":"324_CR16","doi-asserted-by":"crossref","unstructured":"Jim, T.: Sd3: a trust management system with certified evaluation. In: Proceedings of the 2001 IEEE symposium on security and privacy, Oakland, California, USA, pp 106\u2013115 (2001)","DOI":"10.1109\/SECPRI.2001.924291"},{"issue":"3","key":"324_CR17","doi-asserted-by":"crossref","first-page":"788","DOI":"10.1109\/TNET.2012.2210443","volume":"21","author":"F Lalanne","year":"2013","unstructured":"Lalanne, F., Maag, S.: A formal data-centric approach for passive testing of communication protocols. IEEE\/ACM Trans. Networking 21(3), 788\u2013801 (2013)","journal-title":"IEEE\/ACM Trans. Networking"},{"key":"324_CR18","doi-asserted-by":"crossref","unstructured":"Lee, A.J., Winslett, M., Perano, K.J.: Trustbuilder2: a reconfigurable framework for trust negotiation. In: Proceedings of trust management iii, 3rd IFIP WG 11.11 international conference, IFIPTM, West Lafayette, pp 176\u2013195 (2009)","DOI":"10.1007\/978-3-642-02056-8_12"},{"issue":"2","key":"324_CR19","doi-asserted-by":"crossref","first-page":"424","DOI":"10.1109\/TNET.2006.872572","volume":"14","author":"D Lee","year":"2006","unstructured":"Lee, D., Miller, R.E.: Network protocol system monitoring-a formal approach with passive testing. IEEE\/ACM Trans. Networking 14(2), 424\u2013437 (2006)","journal-title":"IEEE\/ACM Trans. Networking"},{"key":"324_CR20","doi-asserted-by":"crossref","unstructured":"Lo, C.-C., Huang, C.-C., Ku, J.: A cooperative intrusion detection system framework for cloud computing networks. In: 280\u2013284, editors, Proceedings of the IEEE 39th international conference on parallel processing workshops (2010)","DOI":"10.1109\/ICPPW.2010.46"},{"key":"324_CR21","unstructured":"L\u00f3pez, J., Che, X., Maag, S.: An online passive testing approach for communication protocols. In: Proceedings of the 9th international conference on evaluation of novel approaches to software engineering, Ensase, Lisbon. SCITEPRESS (2014)"},{"key":"324_CR22","unstructured":"McCanne, S., Jacobson, V.: The bsd packet filter: a new architecture for user-level packet capture. In: Proceedings of the USENIX winter 1993 conference proceedings on USENIX winter 1993 conference, San Diego (1993)"},{"issue":"10","key":"324_CR23","doi-asserted-by":"crossref","first-page":"1482","DOI":"10.1109\/26.103043","volume":"39","author":"DL Mills","year":"1991","unstructured":"Mills, D.L.: Internet time synchronization: the network time protocol. IEEE Trans. Commun. 39(10), 1482\u20131493 (1991)","journal-title":"IEEE Trans. Commun."},{"key":"324_CR24","doi-asserted-by":"crossref","unstructured":"Mockapetris, P.V.: Rfc 1035 domain names \u2014 implementation and specification. Internet Engineering Task Force (1987)","DOI":"10.17487\/rfc1035"},{"key":"324_CR25","doi-asserted-by":"crossref","unstructured":"Movahedi, Z., Nogueira, M., Pujolle, G.: An autonomic knowledge monitoring scheme for trust management on mobile ad hoc networks. In: IEEE wireless communications and networking conference, WCNC 2012, Paris, pp 1898\u20131903 (2012)","DOI":"10.1109\/WCNC.2012.6214096"},{"key":"324_CR26","doi-asserted-by":"crossref","unstructured":"Postel, J.: Transmission control protocol. RFC 793. Internet Engineering Task Force (1981)","DOI":"10.17487\/rfc0793"},{"key":"324_CR27","doi-asserted-by":"crossref","unstructured":"Roschke, S., Cheng, F., Meinel, C.: A flexible and efficient alert correlation platform for distributed IDS. In: Proceedings of the ieee fourth international conference on network and system security, NSS, Melbourne, Victoria, pp 24\u201331 (2010)","DOI":"10.1109\/NSS.2010.26"},{"key":"324_CR28","doi-asserted-by":"crossref","unstructured":"Toumi, K., Andr\u00e9s, C., Cavalli, A.R.: Trust-orbac: a trust access control model in multi-organization environments. In: Proceedings of information systems security, 8th international conference, ICISS, Guwahati, pp 89\u2013103 (2012)","DOI":"10.1007\/978-3-642-35130-3_7"},{"key":"324_CR29","unstructured":"Zargar, S.T., Takabi, H., Joshi, J.B.D.: Dcdidp: a distributed, collaborative, and data-driven intrusion detection and prevention framework for cloud computing environments. In: 332\u2013341, editor, Proceedings of IEEE 7th international conference on collaborative computing: networking, applications and worksharing, collaboratecom, Orlando (2011)"},{"key":"324_CR30","unstructured":"Zargar, S.T., Takabi, H., Joshi, J.B.D.: Dcdidp: a distributed, collaborative, and data-driven intrusion detection and prevention framework for cloud computing environments. In: 332\u2013341, editor, Proceedings of IEEE 7th international conference on collaborative computing: networking, applications and worksharing, collaboratecom, Orlando (2011)"}],"container-title":["World Wide Web"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11280-015-0324-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11280-015-0324-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11280-015-0324-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T04:02:46Z","timestamp":1747540966000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11280-015-0324-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,2,3]]},"references-count":30,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2016,1]]}},"alternative-id":["324"],"URL":"https:\/\/doi.org\/10.1007\/s11280-015-0324-6","relation":{},"ISSN":["1386-145X","1573-1413"],"issn-type":[{"type":"print","value":"1386-145X"},{"type":"electronic","value":"1573-1413"}],"subject":[],"published":{"date-parts":[[2015,2,3]]}}}