{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T04:19:43Z","timestamp":1745986783157,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642362125"},{"type":"electronic","value":"9783642362132"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36213-2_27","type":"book-chapter","created":{"date-parts":[[2013,1,11]],"date-time":"2013-01-11T02:26:17Z","timestamp":1357871177000},"page":"240-261","source":"Crossref","is-referenced-by-count":8,"title":["Deriving Ephemeral Authentication Using Channel Axioms"],"prefix":"10.1007","author":[{"given":"Dusko","family":"Pavlovic","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Catherine","family":"Meadows","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"27_CR1","doi-asserted-by":"publisher","first-page":"706","DOI":"10.1145\/155183.155225","volume":"21","author":"M. Abadi","year":"1993","unstructured":"Abadi, M., Burrows, M., Lampson, B., Plotkin, G.: A calculus for access control in distributed systems. ACM Transactions on Programming Languages and Systems\u00a021(4), 706\u2013734 (1993)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"27_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1007\/3-540-39200-9_18","volume-title":"Advances in Cryptology \u2013 EUROCRPYT 2003","author":"L. Ahn von","year":"2003","unstructured":"von Ahn, L., Blum, M., Hopper, N.J., Langford, J.: CAPTCHA: Using Hard AI Problems for Security. In: Biham, E. (ed.) EUROCRYPT 2003. LNCS, vol.\u00a02656, pp. 294\u2013311. Springer, Heidelberg (2003)"},{"key":"27_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"344","DOI":"10.1007\/3-540-48285-7_30","volume-title":"Advances in Cryptology - EUROCRYPT \u201993","author":"S. Brands","year":"1994","unstructured":"Brands, S., Chaum, D.: Distance Bounding Protocols. In: Helleseth, T. (ed.) EUROCRYPT 1993. LNCS, vol.\u00a0765, pp. 344\u2013359. Springer, Heidelberg (1994)"},{"issue":"1","key":"27_CR4","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.: A Logic of Authentication. ACM Transactions in Computer Systems\u00a08(1), 18\u201336 (1990)","journal-title":"ACM Transactions in Computer Systems"},{"key":"27_CR5","doi-asserted-by":"crossref","unstructured":"\u010capkun, S., Hubaux, J.P.: Secure positioning in wireless networks. IEEE Journal on Selected Areas in Communication 24(2) (February 2006)","DOI":"10.1109\/JSAC.2005.861380"},{"key":"27_CR6","doi-asserted-by":"crossref","unstructured":"Cervesato, I., Meadows, C., Pavlovic, D.: An encapsulated authentication logic for reasoning about key distribution protocols. In: Guttman, J. (ed.) Proceedings of CSFW 2005, pp. 48\u201361. IEEE (2005)","DOI":"10.1109\/CSFW.2005.7"},{"key":"27_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/11964254_9","volume-title":"Security and Privacy in Ad-Hoc and Sensor Networks","author":"J. Clulow","year":"2006","unstructured":"Clulow, J., Hancke, G.P., Kuhn, M.G., Moore, T.: So Near and Yet So Far: Distance-Bounding Attacks in Wireless Networks. In: Butty\u00e1n, L., Gligor, V.D., Westhoff, D. (eds.) ESAS 2006. LNCS, vol.\u00a04357, pp. 83\u201397. Springer, Heidelberg (2006)"},{"key":"27_CR8","unstructured":"Creese, S., Goldsmith, M., Roscoe, A.W., Zakiuddin, I.: The attacker in ubiquitous computing environments: Formalizing the threat model. In: Proc. FAST 2003, pp. 83\u201397 (2003)"},{"key":"27_CR9","doi-asserted-by":"crossref","first-page":"423","DOI":"10.3233\/JCS-2005-13304","volume":"13","author":"A. Datta","year":"2005","unstructured":"Datta, A., Derek, A., Mitchell, J., Pavlovic, D.: A derivation system and compositional logic for security protocols. J. of Comp. Security\u00a013, 423\u2013482 (2005)","journal-title":"J. of Comp. Security"},{"key":"27_CR10","unstructured":"Desmedt, Y.: Major security problems with the \u2018unforgeable\u2019 Feige-Shamir proofs of identity and how to overcome them. In: Proc. Securicom 1988 (1988)"},{"key":"27_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/978-3-540-32004-3_12","volume-title":"Security in Pervasive Computing","author":"J.-H. Hoepman","year":"2005","unstructured":"Hoepman, J.-H.: Ephemeral Pairing on Anonymous Networks. In: Hutter, D., Ullmann, M. (eds.) SPC 2005. LNCS, vol.\u00a03450, pp. 101\u2013116. Springer, Heidelberg (2005)"},{"key":"27_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/3-540-45353-9_14","volume-title":"Topics in Cryptology - CT-RSA 2001","author":"M. Jakobsson","year":"2001","unstructured":"Jakobsson, M., Wetzel, S.: Security Weaknesses in Bluetooth. In: Naccache, D. (ed.) CT-RSA 2001. LNCS, vol.\u00a02020, pp. 176\u2013191. Springer, Heidelberg (2001)"},{"issue":"7","key":"27_CR13","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM\u00a021(7), 558\u2013565 (1978)","journal-title":"Commun. ACM"},{"issue":"4","key":"27_CR14","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1145\/138873.138874","volume":"10","author":"B. Lampson","year":"1992","unstructured":"Lampson, B., Abadi, M., Burrows, M., Wobber, E.: Authentication in distributed systems: theory and practice. ACM Trans. on Comput. Syst.\u00a010(4), 265\u2013310 (1992)","journal-title":"ACM Trans. on Comput. Syst."},{"key":"27_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-540-30108-0_4","volume-title":"Computer Security \u2013 ESORICS 2004","author":"C. Meadows","year":"2004","unstructured":"Meadows, C., Pavlovic, D.: Deriving, Attacking and Defending the GDOI Protocol. In: Samarati, P., Ryan, P., Gollmann, D., Molva, R. (eds.) ESORICS 2004. LNCS, vol.\u00a03193, pp. 53\u201372. Springer, Heidelberg (2004)"},{"key":"27_CR16","doi-asserted-by":"crossref","unstructured":"Meadows, C., Poovendran, R., Pavlovic, D., Syverson, P., Chang, L.: Distance bounding protocols: Authentication logic and collusion attacks. In: Poovendran, R., Wang, C., Roy, S. (eds.) Secure Localization and Time Synchronization in Wireless Ad Hoc and Sensor Networks, pp. 279\u2013298. Springer (2007)","DOI":"10.1007\/978-0-387-46276-9_12"},{"key":"27_CR17","doi-asserted-by":"crossref","unstructured":"Meadows, C., Syverson, P., Chang, L.: Towards more efficient distance bounding protocols. In: SecureComm 2006 (August 2006)","DOI":"10.1109\/SECCOMW.2006.359532"},{"key":"27_CR18","doi-asserted-by":"crossref","unstructured":"Mink, A., Ma, L., Nakassis, T., Xue, H., Slatter, O., Hershman, B., Tang, X.: A quantum network manager that supports a one-time pad stream. In: Pro. 2nd International Conference on Quantum, Nano, and Micro Technology (February 2008)","DOI":"10.1109\/ICQNM.2008.8"},{"issue":"4","key":"27_CR19","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1145\/363516.363526","volume":"9","author":"A.C. Myers","year":"2000","unstructured":"Myers, A.C., Liskov, B.: Protecting privacy using the decentralized label model. ACM Transactions on Software Engineering and Methodology\u00a09(4), 410\u2013442 (2000)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"27_CR20","unstructured":"Nguyen, L.H.: Authentication protocols based on low-bandwidth unspoofable channels: a survey (2008), http:\/\/web.comlab.ox.ac.uk\/people\/Long.Nguyen\/"},{"issue":"2-4","key":"27_CR21","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1016\/j.ic.2007.07.010","volume":"206","author":"L.H. Nguyen","year":"2008","unstructured":"Nguyen, L.H., Roscoe, A.W.: Authenticating ad hoc networks by comparison of short digests. Inf. Comput.\u00a0206(2-4), 250\u2013271 (2008)","journal-title":"Inf. Comput."},{"key":"27_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"384","DOI":"10.1007\/11863908_24","volume-title":"Computer Security \u2013 ESORICS 2006","author":"D. Pavlovic","year":"2006","unstructured":"Pavlovic, D., Meadows, C.: Deriving Secrecy in Key Establishment Protocols. In: Gollmann, D., Meier, J., Sabelfeld, A. (eds.) ESORICS 2006. LNCS, vol.\u00a04189, pp. 384\u2013403. Springer, Heidelberg (2006)"},{"key":"27_CR23","unstructured":"Pavlovic, D., Meadows, C.: Deriving authentication for pervasive security. In: McLean, J. (ed.) Proceedings of ISTPS 2008. ACM (2008)"},{"key":"27_CR24","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/j.entcs.2010.08.007","volume":"265","author":"D. Pavlovic","year":"2010","unstructured":"Pavlovic, D., Meadows, C.: Bayesian authentication: Quantifying security of the Hancke-Kuhn protocol. E. Notes Theor. Comp. Sci.\u00a0265, 97\u2013122 (2010)","journal-title":"E. Notes Theor. Comp. Sci."},{"key":"27_CR25","doi-asserted-by":"crossref","unstructured":"Schaller, P., Schmidt, B., Basin, D., \u010capkun, S.: Modeling and verifying physical properties of security protocols for wireless networks (April 2008)","DOI":"10.1109\/CSF.2009.6"},{"key":"27_CR26","unstructured":"Single\u00e9, D., Preneel, B.: Location verification using secure distance bounding protocols. In: International Workshop on Wireless and Sensor Network Security. IEEE Computer Society Press (2005)"},{"key":"27_CR27","unstructured":"Tippenhauer, N., Rasmussen, K., Popper, C., \u010capkun, S.: iPhone and iPod location spoofing attacks (2008), http:\/\/www.syssec.ch\/press\/location-spoofing-attacks-on-the-iphone-and-ipod"},{"key":"27_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/11535218_19","volume-title":"Advances in Cryptology \u2013 CRYPTO 2005","author":"S. Vaudenay","year":"2005","unstructured":"Vaudenay, S.: Secure Communications over Insecure Channels Based on Short Authenticated Strings. In: Shoup, V. (ed.) CRYPTO 2005. LNCS, vol.\u00a03621, pp. 309\u2013326. Springer, Heidelberg (2005)"},{"key":"27_CR29","doi-asserted-by":"crossref","unstructured":"Wong, F.L., Stajano, R.: Multichannel security protocols. IEEE Pervasive Computing 6(4) (December 2007)","DOI":"10.1109\/MPRV.2007.76"}],"container-title":["Lecture Notes in Computer Science","Security Protocols XVII"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36213-2_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T16:51:03Z","timestamp":1745945463000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36213-2_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642362125","9783642362132"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36213-2_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}