{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T21:40:41Z","timestamp":1649022041311},"reference-count":22,"publisher":"Elsevier BV","issue":"6","license":[{"start":{"date-parts":[[2011,8,1]],"date-time":"2011-08-01T00:00:00Z","timestamp":1312156800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Knowledge-Based Systems"],"published-print":{"date-parts":[[2011,8]]},"DOI":"10.1016\/j.knosys.2010.12.007","type":"journal-article","created":{"date-parts":[[2010,12,31]],"date-time":"2010-12-31T04:41:32Z","timestamp":1293770492000},"page":"731-739","source":"Crossref","is-referenced-by-count":1,"title":["Dealing with inconsistent secure messages by weighting majority"],"prefix":"10.1016","volume":"24","author":[{"given":"Qingfeng","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shichao","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhi","family":"Zhong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/j.knosys.2010.12.007_b0005","series-title":"Formal correctness of security protocols","author":"Bella","year":"2007"},{"key":"10.1016\/j.knosys.2010.12.007_b0010","series-title":"Proceedings of the Computer Security Foundations Workshop V","article-title":"Partial belief and probabilistic reasoning in the analysis of secure protocols","author":"Campbell","year":"1992"},{"key":"10.1016\/j.knosys.2010.12.007_b0015","series-title":"ENDL: a logical framework for verifying secure transaction protocols","author":"Chen","year":"2005"},{"key":"10.1016\/j.knosys.2010.12.007_b0020","unstructured":"M. Dalal, Investigations into a theory of knowledge base revision: prelimanry report, in: Proceedings of AAAI-88, 1988, pp. 475-479."},{"issue":"8","key":"10.1016\/j.knosys.2010.12.007_b0025","doi-asserted-by":"crossref","first-page":"533","DOI":"10.1145\/358722.358740","article-title":"Timestamp in Key Distribution Protocols","volume":"24","author":"Denning","year":"1981","journal-title":"Communications of ACM"},{"key":"10.1016\/j.knosys.2010.12.007_b0030","unstructured":"R. Fagin, J.Y. Halpern, Uncertainty, Belief and probability, in: Proceedings of the 11th International Joint Conference on Artificial Intelligence, vol. 2, 1989, pp. 1161\u20131167."},{"key":"10.1016\/j.knosys.2010.12.007_b0035","series-title":"Knowledge in Flux","author":"Gardenfors","year":"1998"},{"key":"10.1016\/j.knosys.2010.12.007_b0040","series-title":"Security and privacy for E-business","author":"Ghosh","year":"2001"},{"key":"10.1016\/j.knosys.2010.12.007_b0045","unstructured":"A. Hunter, Measuring inconsistency in knowledge via quasi-classical models, in: Proceedings of AAAI02, 2002, pp. 68\u201373."},{"key":"10.1016\/j.knosys.2010.12.007_b0050","unstructured":"A. Hunter, Evaluating the significance of inconsistencies, Proceedings of the International Joint Conference on AI (IJCAI\u201903), 2003, pp. 468\u2013473."},{"key":"10.1016\/j.knosys.2010.12.007_b0055","unstructured":"J. Kohl, C. Neuman, The Kerberos network authentication service, Version 5 RFC, Drft No. 4, Network Working Group, MIT Project Athena, 1990."},{"issue":"5","key":"10.1016\/j.knosys.2010.12.007_b0060","doi-asserted-by":"crossref","first-page":"773","DOI":"10.1093\/logcom\/12.5.773","article-title":"Merging information under constraints: a logical framework","volume":"12","author":"Konieczny","year":"2002","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/j.knosys.2010.12.007_b0065","unstructured":"S. Konieczny, R.P. P\u00e9rez, On the frontier between arbitration and majority, in: Proceedings of the 8th International Conference on Principles of Knowledge Representation and Reasoning, 2002, pp. 109\u2013118."},{"key":"10.1016\/j.knosys.2010.12.007_b0070","doi-asserted-by":"crossref","unstructured":"E. Kushilevitz, Y. Lindell, T. Rabin, Information-theoretically secure protocols and security under composition, in: Proceedings of the 38th annual ACM symposium on Theory of computing, 2006, pp. 109\u2013118.","DOI":"10.1145\/1132516.1132532"},{"issue":"1","key":"10.1016\/j.knosys.2010.12.007_b0075","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1109\/69.667090","article-title":"Arbitration (or how to merge knowledge bases)","volume":"10","author":"Liberatore","year":"1998","journal-title":"IEEE Transaction on Knowledge and Data Engineering"},{"issue":"2","key":"10.1016\/j.knosys.2010.12.007_b0080","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1016\/0004-3702(95)00019-4","article-title":"Integration of weighted knowledge bases","volume":"83","author":"Lin","year":"1996","journal-title":"Artificial Intelligence"},{"key":"10.1016\/j.knosys.2010.12.007_b0085","series-title":"Dynamic Worlds: From the Frame Problem to Knowledge Management","article-title":"Knowledge base merging by majority","author":"Lin","year":"1999"},{"key":"10.1016\/j.knosys.2010.12.007_b0090","doi-asserted-by":"crossref","unstructured":"M. Olszewski, L. Cyra, An integrated framework for security protocol analysis, in: Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, 2008, pp. 77\u201386.","DOI":"10.1145\/1368310.1368325"},{"key":"10.1016\/j.knosys.2010.12.007_b0095","series-title":"Cryptography: A Very Short Introduction","author":"Piper","year":"2002"},{"key":"10.1016\/j.knosys.2010.12.007_b0100","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/0004-3702(94)00009-P","article-title":"Tractable reasoning via approximation","volume":"74","author":"Schaerf","year":"1995","journal-title":"Artificial Intelligence"},{"key":"10.1016\/j.knosys.2010.12.007_b0105","series-title":"Protocols for Secure Electronic Commerce","author":"Sherif","year":"2000"},{"key":"10.1016\/j.knosys.2010.12.007_b0110","unstructured":"U.S. National Institute of Standards and Technology (NIST). Data Encryption Standard (DES). Draft Federal Information Processing Standards Publication 46-3 (FIPS PUB 46-3), 1999."}],"container-title":["Knowledge-Based Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/api.elsevier.com\/content\/article\/PII:S0950705110001887?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/api.elsevier.com\/content\/article\/PII:S0950705110001887?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T08:54:10Z","timestamp":1559897650000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/linkinghub.elsevier.com\/retrieve\/pii\/S0950705110001887"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8]]},"references-count":22,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2011,8]]}},"alternative-id":["S0950705110001887"],"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1016\/j.knosys.2010.12.007","relation":{},"ISSN":["0950-7051"],"issn-type":[{"value":"0950-7051","type":"print"}],"subject":[],"published":{"date-parts":[[2011,8]]}}}