{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:53:43Z","timestamp":1725551623868},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540304623"},{"type":"electronic","value":"9783540316527"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11589990_6","type":"book-chapter","created":{"date-parts":[[2005,11,26]],"date-time":"2005-11-26T06:28:03Z","timestamp":1132986483000},"page":"29-38","source":"Crossref","is-referenced-by-count":2,"title":["A Fibred Belief Logic for Multi-agent Systems"],"prefix":"10.1007","author":[{"given":"Chuchang","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maris A.","family":"Ozols","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mehmet A.","family":"Orgun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Broadfoot, P., Lowe, G.: Analysing a stream authentication protocol using model checking. In: Proc. of the 7th European Symposium on Research in Computer Security, ESORICS (2002)","DOI":"10.1007\/3-540-45853-0_9"},{"issue":"1","key":"6_CR2","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1145\/77648.77649","volume":"8","author":"M. Burrows","year":"1990","unstructured":"Burrows, M., Abadi, M., Needham, R.M.: A logic of authentication. ACM Transactions on Computer Systems\u00a08(1), 18\u201336 (1990)","journal-title":"ACM Transactions on Computer Systems"},{"key":"6_CR3","unstructured":"Clarke, E., Jha, S., Marrero, W.: A machine checkable logic of knowledge for specifying security properties of electronic commerce protocols. In: Proc. of the Workshop on Formal Methods and Security Protocols (1998)"},{"key":"6_CR4","doi-asserted-by":"crossref","first-page":"677","DOI":"10.3233\/JCS-2003-11407","volume":"11","author":"N. Durgin","year":"2003","unstructured":"Durgin, N., Mitchell, J., Pavlovic, D.: A compositional logic for proving security properties of protocols. Journal of Computer Security\u00a011, 677\u2013721 (2003)","journal-title":"Journal of Computer Security"},{"key":"6_CR5","volume-title":"Fibring Logics","author":"D.M. Gabbay","year":"1999","unstructured":"Gabbay, D.M.: Fibring Logics. Oxford University Press, Oxford (1999)"},{"key":"6_CR6","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","volume":"54","author":"J.Y. Halpern","year":"1992","unstructured":"Halpern, J.Y., Moses, Y.: A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence\u00a054, 319\u2013379 (1992)","journal-title":"Artificial Intelligence"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Hughes, G.E., Cresswell, M.J.: A New Introduction to Modal Logic, Routledge (1996)","DOI":"10.4324\/9780203290644"},{"key":"6_CR8","doi-asserted-by":"publisher","first-page":"699","DOI":"10.1006\/jsco.1996.0072","volume":"22","author":"C. Liu","year":"1996","unstructured":"Liu, C., Orgun, M.A.: Dealing with multiple granularity of time in temporal logic programming. Journal of Symbolic Computation\u00a022, 699\u2013720 (1996)","journal-title":"Journal of Symbolic Computation"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/978-3-540-30502-6_10","volume-title":"Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making","author":"C. Liu","year":"2004","unstructured":"Liu, C., Ozols, M.A., Orgun, M.A.: A temporalised belief logic for specifying the dynamics of trust for multi-agent systems. In: Maher, M.J. (ed.) ASIAN 2004. LNCS, vol.\u00a03321, pp. 142\u2013156. Springer, Heidelberg (2004)"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"McMillan, K.L.: Symbolic model checking - an approach to the state explosion problem. PhD thesis, SCS, Carnegie Mellon University (1992)","DOI":"10.1007\/978-1-4615-3190-6_3"},{"key":"6_CR11","unstructured":"Mendelson, E.: Introduction to Mathematical Logic, 4th edn. International Thomson Publishing (1997)"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Perrig, A., Canetti, R., Tygar, J.D., Song, D.: Efficient authentication and signing of multicast streams over lossy channels. In: IEEE Symposium on Security and Privacy, pp. 56\u201373 (May 2000)","DOI":"10.1109\/SECPRI.2000.848446"}],"container-title":["Lecture Notes in Computer Science","AI 2005: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11589990_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:48:15Z","timestamp":1619506095000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11589990_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540304623","9783540316527"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11589990_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}