{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,1]],"date-time":"2025-04-01T08:43:42Z","timestamp":1743497022258,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540755586"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75560-9_18","type":"book-chapter","created":{"date-parts":[[2007,10,6]],"date-time":"2007-10-06T05:36:46Z","timestamp":1191649006000},"page":"226-241","source":"Crossref","is-referenced-by-count":18,"title":["Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap"],"prefix":"10.1007","author":[{"given":"Francien","family":"Dechesne","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MohammadReza","family":"Mousavi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simona","family":"Orzan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"A Maude implementation of PAi, http:\/\/www.win.tue.nl\/~mousavi\/pai.htm","key":"18_CR1"},{"issue":"1","key":"18_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1998.2740","volume":"148","author":"M. Abadi","year":"1999","unstructured":"Abadi, M., Gordon, A.D.: A calculus for cryptographic protocols: The spi calculus. Information and Computation\u00a0148(1), 1\u201370 (1999)","journal-title":"Information and Computation"},{"doi-asserted-by":"crossref","unstructured":"Baltag, A.: Logics for insecure communication. In: Proc. TARK 2001, pp. 111\u2013121 (2001)","key":"18_CR3","DOI":"10.1080\/000164801300006371"},{"key":"18_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/11539452_16","volume-title":"CONCUR 2005 \u2013 Concurrency Theory","author":"M. Bhargava","year":"2005","unstructured":"Bhargava, M., Palamidessi, C.: Probabilistic anonymity. In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. LNCS, vol.\u00a03653, pp. 171\u2013185. Springer, Heidelberg (2005)"},{"unstructured":"Borgstr\u00f6m, J., Kramer, S., Nestmann, U.: Calculus of cryptographic communication. In: Proc. FCS-ARSPA 2006 (2006)","key":"18_CR5"},{"unstructured":"Broadfoot, P.J.: Data Independence in the Model Checking of Security Protocols. PhD thesis, Oxford University (2001)","key":"18_CR6"},{"issue":"3","key":"18_CR7","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"D. Brookes","year":"1984","unstructured":"Brookes, D., Hoare, C.A.R., Roscoe, A.W.: A theory of communicating sequential processes. Journal of the ACM\u00a031(3), 560\u2013599 (1984)","journal-title":"Journal of the ACM"},{"key":"18_CR8","volume-title":"Practical Cryptography for Data Internetworks","author":"M. Burrows","year":"1996","unstructured":"Burrows, M., Abadi, M., Needham, R.: A logic of authentication. In: Practical Cryptography for Data Internetworks, IEEE Computer Society Press, Los Alamitos (1996)"},{"issue":"1-2","key":"18_CR9","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1016\/j.tcs.2006.08.041","volume":"367","author":"C. Caleiroa","year":"2006","unstructured":"Caleiroa, C., Vigan\u00f2, L., Basin, D.: On the semantics of Alice & Bob specifications of security protocols. TCS\u00a0367(1-2), 88\u2013122 (2006)","journal-title":"TCS"},{"key":"18_CR10","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/BF00206326","volume":"1","author":"D. Chaum","year":"1988","unstructured":"Chaum, D.: The dining cryptographers problem: Unconditional sender and recipient untraceability. Journal of Cryptology\u00a01, 65\u201375 (1988)","journal-title":"Journal of Cryptology"},{"unstructured":"Chothia, T., Orzan, S.M., Pang, J., Dashti, M.T.: A framework for automatically checking anonymity with mCRL. In: Proc. TGC 2006, LNCS (2007)","key":"18_CR11"},{"unstructured":"Dechesne, F., Mousavi, M., Orzan, S.M.: Operational and epistemic approaches to protocol analysis: Bridging the gap. Tech. Rep. CS 07-15, TU Eindhoven (2007)","key":"18_CR12"},{"doi-asserted-by":"crossref","unstructured":"van Eijck, J., Orzan, S.M.: Epistemic verification of anonymity. In: Proc. VODCA 2006. ENTCS, vol.\u00a0168 (2006)","key":"18_CR13","DOI":"10.1016\/j.entcs.2006.08.026"},{"key":"18_CR14","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. MIT Press, Cambridge (1995)"},{"key":"18_CR15","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1023\/A:1008222603071","volume":"6","author":"J. Gerbrandy","year":"1997","unstructured":"Gerbrandy, J., Groeneveld, W.: Reasoning about information change. Journal of Logic Language and Information\u00a06, 147\u2013169 (1997)","journal-title":"Journal of Logic Language and Information"},{"doi-asserted-by":"crossref","unstructured":"Halpern, J.Y., O\u2019Neill, K.R.: Anonymity and information hiding in multiagent systems. Journal of Computer Security, 483\u2013514 (2005)","key":"18_CR16","DOI":"10.3233\/JCS-2005-13305"},{"unstructured":"Hintikka, J.: Knowledge and Belief. Cornell University Press (1962)","key":"18_CR17"},{"key":"18_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/3-540-46017-9_9","volume-title":"Model Checking Software","author":"W. Hoek van der","year":"2002","unstructured":"van der Hoek, W., Wooldridge, M.: Model checking knowledge and time. In: Bo\u0161na\u010dki, D., Leue, S. (eds.) Model Checking Software. LNCS, vol.\u00a02318, pp. 95\u2013111. Springer, Heidelberg (2002)"},{"key":"18_CR19","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/s11229-004-2247-0","volume":"142","author":"A. Hommersom","year":"2004","unstructured":"Hommersom, A., Meyer, J.-J., de Vink, E.P.: Update semantics of security protocols. Synthese\u00a0142, 229\u2013267 (2004)","journal-title":"Synthese"},{"issue":"1","key":"18_CR20","doi-asserted-by":"crossref","first-page":"3","DOI":"10.3233\/JCS-2004-12102","volume":"12","author":"D. Hughes","year":"2004","unstructured":"Hughes, D., Shmatikov, V.: Information hiding, anonymity and privacy: A modular approach. Journal of Computer Security\u00a012(1), 3\u201336 (2004)","journal-title":"Journal of Computer Security"},{"unstructured":"Kramer, S.: Logical concepts in cryptography. Cryptology ePrint Archive, Report 2006\/262 (2006), http:\/\/eprint.iacr.org\/2006\/262","key":"18_CR21"},{"key":"18_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communication Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communication Systems. LNCS, vol.\u00a092. Springer, Heidelberg (1980)"},{"key":"18_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/BFb0055761","volume-title":"Mathematical Foundations of Computer Science 1998","author":"M. Nielsen","year":"1998","unstructured":"Nielsen, M.: Reasoning about the past. In: Brim, L., Gruska, J., Zlatu\u0161ka, J. (eds.) MFCS 1998. LNCS, vol.\u00a01450, pp. 117\u2013128. Springer, Heidelberg (1998)"},{"key":"18_CR24","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.jlap.2004.03.009","volume":"60","author":"G.D. Plotkin","year":"2004","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. Journal of Logic and Algebraic Programming\u00a060, 17\u2013139 (2004)","journal-title":"Journal of Logic and Algebraic Programming"},{"unstructured":"Raimondi, F., Lomuscio, A.: Automatic verification of deontic interpreted systems by model checking via OBDD\u2019s. Journal of Applied Logic, 2006 (in Press)","key":"18_CR25"},{"key":"18_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1007\/3-540-61770-1_38","volume-title":"ESORICS 1996","author":"S. Schneider","year":"1996","unstructured":"Schneider, S., Sidiropoulos, A.: CSP and anonymity. In: Martella, G., Kurth, H., Montolivo, E., Bertino, E. (eds.) ESORICS 1996. LNCS, vol.\u00a01146, pp. 198\u2013218. Springer, Heidelberg (1996)"},{"doi-asserted-by":"crossref","unstructured":"Simpson, A.K.: Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS. Journal of Logic and Algebraic Programming, 60\u201361, 287\u2013322","key":"18_CR27","DOI":"10.1016\/j.jlap.2004.03.004"}],"container-title":["Lecture Notes in Computer Science","Logic for Programming, Artificial Intelligence, and Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75560-9_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T12:23:20Z","timestamp":1737462200000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75560-9_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540755586"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75560-9_18","relation":{},"subject":[]}}