{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,26]],"date-time":"2025-09-26T00:10:55Z","timestamp":1758845455111},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2014,12,14]],"date-time":"2014-12-14T00:00:00Z","timestamp":1418515200000},"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":["Ann. Telecommun."],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1007\/s12243-014-0454-3","type":"journal-article","created":{"date-parts":[[2014,12,12]],"date-time":"2014-12-12T20:24:56Z","timestamp":1418415896000},"page":"95-105","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Testing trust properties using a formal distributed network monitoring approach"],"prefix":"10.1007","volume":"70","author":[{"given":"Xiaoping","family":"Che","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge","family":"Lopez","sequence":"additional","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":[[2014,12,14]]},"reference":[{"key":"454_CR1","doi-asserted-by":"crossref","unstructured":"Alexiou N, Basagiannis S, Katsaros P, Dashpande T, Smolka SA (2010) Formal analysis of the kaminsky dns cache-poisoning attack using probabilistic model checking. In: Proceedings of the 12th IEEE High Assurance Systems Engineering Symposium. HASE, San Jose, CA, USA, pp 94\u2013103","DOI":"10.1109\/HASE.2010.25"},{"issue":"6","key":"454_CR2","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1002\/stvr.1464","volume":"22","author":"C Andr\u00e9s","year":"2012","unstructured":"Andr\u00e9s C, Merayo MG, N\u00fa\u00f1ez M (2012) Formal passive testing of timed systems: Theory and tools. Software Testing. Verification Reliab 22(6):365\u2013405","journal-title":"Verification Reliab"},{"key":"454_CR3","doi-asserted-by":"crossref","unstructured":"Arends R, Austein R, Larson M, Massey D, Rose S (2005) Dns security introduction and requirements. RFC 4033 (Proposed Standard)","DOI":"10.17487\/rfc4033"},{"issue":"2","key":"454_CR4","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1016\/j.comnet.2004.09.009","volume":"48","author":"E Bayse","year":"2005","unstructured":"Bayse E, Cavalli A, Nunez M, Zaidi F (2005) A passive testing approach based on invariants: Application to the wap. Comput Netw 48(2):247\u2013266","journal-title":"Comput Netw"},{"key":"454_CR5","unstructured":"Blaze M, Feigenbaum J, Keromytis AD (1999) Keynote: Trust management for public-key infrastructures. In: Proceedings of the Security Protocols, 6th International Workshop. Springer, Cambridge UK, pp 59\u201363"},{"key":"454_CR6","doi-asserted-by":"crossref","unstructured":"Blaze M, Feigenbaum J, Lacy J (1996) Decentralized trust management. In: Proceedings of the IEEE Symposium on Security and Privacy, Oakland, CA, USA, pp 164\u2013173","DOI":"10.1109\/SECPRI.1996.502679"},{"key":"454_CR7","doi-asserted-by":"crossref","unstructured":"Cavalli AR, Maag S, Montes E (2009) de Oca. A passive conformance testing approach for a manet routing protocol. In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), USA, March 9-12, pp 207\u2013211","DOI":"10.1145\/1529282.1529326"},{"key":"454_CR8","unstructured":"Che X, Lalanne F, Maag S (2012) 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, 29-30 June, pp 53\u201364"},{"issue":"3","key":"454_CR9","first-page":"127","volume":"2","author":"Y-H Chu","year":"1997","unstructured":"Chu Y-H, Feigenbaum J, Lamacchia B, Resnick P, Strauss M (1997) Referee: Trust management for web applications. O\u2019Reilly World Wide Web J 2(3):127\u2013139","journal-title":"O\u2019Reilly World Wide Web J"},{"key":"454_CR10","unstructured":"Dagon D, Provos N, Lee CP, Lee W Corrupted dns resolution paths: The rise of a malicious resolution authority. In: Proceedings of the Network and Distributed System Security Symposium, NDSS. The Internet Society, San Diego, California USA, p 2008"},{"key":"454_CR11","doi-asserted-by":"crossref","unstructured":"Deering S, Hinden R (1998) RFC 2460 Internet Protocol, Version 6 (IPv6) Specification. In: Internet Engineering Task Force","DOI":"10.17487\/rfc2460"},{"issue":"4","key":"454_CR12","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"MH van Emden","year":"1976","unstructured":"van Emden MH, Kowalski RA (1976) The semantics of predicate logic as a programming language. Journal of the ACM, pages 23(4):733\u2013742","journal-title":"Journal of the ACM, pages"},{"key":"454_CR13","doi-asserted-by":"crossref","unstructured":"Fan L, Wang Y, Cheng X, Li J (2011) 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","DOI":"10.1109\/PDCAT.2011.69"},{"issue":"4","key":"454_CR14","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 (2000) A survey of trust in internet applications. IEEE Commun Sur Tutorials 3(4):2\u201316","journal-title":"IEEE Commun Sur Tutorials"},{"key":"454_CR15","doi-asserted-by":"crossref","unstructured":"Grandison T, Sloman M (2003) Trust management tools for internet applications. In: Proceedings of Trust Management, Springer First International Conference, iTrust, Heraklion, Crete, Greece, pp 91\u2013107","DOI":"10.1007\/3-540-44875-6_7"},{"issue":"1\u20132","key":"454_CR16","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/s12243-008-0050-5","volume":"64","author":"DA Haidar","year":"2009","unstructured":"Haidar DA, Cuppens-Boulahia N, Cuppens F, Debar H (2009) Xena: an access negotiation framework using xacml. Ann Telecommun 64(1\u20132):155\u2013169","journal-title":"Ann Telecommun"},{"key":"454_CR17","unstructured":"Holzmann GJ (2004) The spin model checker : Primer and reference manual"},{"key":"454_CR18","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 (2013) Model inference and testing. Adv Comput 89:89\u2013139","journal-title":"Adv Comput"},{"key":"454_CR19","doi-asserted-by":"crossref","unstructured":"Jim T (2001) 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","DOI":"10.1109\/SECPRI.2001.924291"},{"issue":"3","key":"454_CR20","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 (2013) A formal data-centric approach for passive testing of communication protocols. IEEE\/ACM Trans Networking 21(3):788\u2013801","journal-title":"IEEE\/ACM Trans Networking"},{"key":"454_CR21","doi-asserted-by":"crossref","unstructured":"Lee AJ, Winslett M, Perano KJ (2009) Trustbuilder2 A reconfigurable framework for trust negotiation. In: Proceedings of Trust Management III, Third IFIP WG 11.11 International Conference, IFIPTM, West Lafayette, IN, USA, pp 176\u2013195","DOI":"10.1007\/978-3-642-02056-8_12"},{"issue":"2","key":"454_CR22","doi-asserted-by":"crossref","first-page":"424","DOI":"10.1109\/TNET.2006.872572","volume":"14","author":"D Lee","year":"2006","unstructured":"Lee D, Miller RE (2006) Network protocol system monitoring-a formal approach with passive testing. IEEE\/ACM Trans Networking 14(2):424\u2013437","journal-title":"IEEE\/ACM Trans Networking"},{"key":"454_CR23","doi-asserted-by":"crossref","unstructured":"Lo C-C, Huang C-C, Ku J (2010) A cooperative intrusion detection system framework for cloud computing networks. In 280-284, editor. In: Proceedings of the IEEE 39th International Conference on Parallel Processing Workshops","DOI":"10.1109\/ICPPW.2010.46"},{"key":"454_CR24","unstructured":"L\u00f3pez J, Che X, Maag S (2014) An online passive testing approach for communication protocols. In: 9th International Conference on Evaluation of Novel Approaches to Software Enginering, ENASE, Lisbon, Portugal"},{"key":"454_CR25","volume-title":"Formalising Trust as a Computational Concept. PhD thesis, University of Stirling, Stirling","author":"SP Marsh","year":"1994","unstructured":"Marsh SP (1994) Formalising Trust as a Computational Concept. PhD thesis, University of Stirling, Stirling. Scotland, UK"},{"key":"454_CR26","unstructured":"McCanne S, Jacobson V (1993) 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, California"},{"issue":"10","key":"454_CR27","doi-asserted-by":"crossref","first-page":"1482","DOI":"10.1109\/26.103043","volume":"39","author":"DL Mills","year":"1991","unstructured":"Mills DL (1991) Internet time synchronization: the network time protocol. IEEE Trans Commun 39(10):1482\u20131493","journal-title":"IEEE Trans Commun"},{"key":"454_CR28","doi-asserted-by":"crossref","unstructured":"Mockapetris PV (1987) RFC 1035 Domain names\u2014Implementation and specification","DOI":"10.17487\/rfc1035"},{"key":"454_CR29","doi-asserted-by":"crossref","unstructured":"Movahedi Z, Nogueira M, Pujolle G (2012) An autonomic knowledge monitoring scheme for trust management on mobile ad hoc networks. In: IEEE Wireless Communications and Networking Conference, WCNC 2012, Paris, France, pp 1898\u20131903","DOI":"10.1109\/WCNC.2012.6214096"},{"key":"454_CR30","doi-asserted-by":"crossref","unstructured":"Ray I, Chakraborty S (2004) A vector model of trust for developing trustworthy systems. In: Computer Security - ESORICS, 9th European Symposium on Research Computer Security. Springer, Sophia Antipolis, France, pp 260\u2013275","DOI":"10.1007\/978-3-540-30108-0_16"},{"key":"454_CR31","doi-asserted-by":"crossref","unstructured":"Roschke S, Cheng F, Meinel C (2010) 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, Australia, pp 24\u201331","DOI":"10.1109\/NSS.2010.26"},{"key":"454_CR32","doi-asserted-by":"crossref","unstructured":"Toumi K, Andr\u00e9s C, Cavalli AR (2012) Trust-orbac A trust access control model in multi-organization environments. In: Proceedings of Information Systems Security, 8th International Conference, ICISS, Guwahati, India, pp 89\u2013103","DOI":"10.1007\/978-3-642-35130-3_7"},{"key":"454_CR33","unstructured":"Zargar ST, Takabi H, Joshi JBD (2011) Dcdidp: a distributed, collaborative, and data-driven intrusion detection and prevention framework for cloud computing environments. In 332-341, editor. In: Proceedings of IEEE 7th International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom, Orlando, FL, USA"}],"container-title":["annals of telecommunications - annales des t\u00e9l\u00e9communications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s12243-014-0454-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s12243-014-0454-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s12243-014-0454-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,18]],"date-time":"2019-08-18T08:06:07Z","timestamp":1566115567000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s12243-014-0454-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12,14]]},"references-count":33,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2015,4]]}},"alternative-id":["454"],"URL":"https:\/\/doi.org\/10.1007\/s12243-014-0454-3","relation":{},"ISSN":["0003-4347","1958-9395"],"issn-type":[{"value":"0003-4347","type":"print"},{"value":"1958-9395","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,12,14]]}}}