{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,11]],"date-time":"2026-09-11T03:28:59Z","timestamp":1789097339932,"version":"build-2803163510"},"reference-count":82,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2016,7,5]],"date-time":"2016-07-05T00:00:00Z","timestamp":1467676800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/F033540\/1"],"award-info":[{"award-number":["EP\/F033540\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"crossref","award":["EP\/H005501\/1"],"award-info":[{"award-number":["EP\/H005501\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int. J. Inf. Secur."],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1007\/s10207-016-0338-9","type":"journal-article","created":{"date-parts":[[2016,7,5]],"date-time":"2016-07-05T16:14:16Z","timestamp":1467735256000},"page":"491-523","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":17,"title":["Analysis of privacy in mobile telephony systems"],"prefix":"10.1007","volume":"16","author":[{"given":"Myrto","family":"Arapinis","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Loretta Ilaria","family":"Mancini","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Eike","family":"Ritter","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mark Dermot","family":"Ryan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2016,7,5]]},"reference":[{"key":"338_CR1","doi-asserted-by":"crossref","unstructured":"Arapinis, M., Bursuc, S., Ryan, M.: Privacy supporting cloud computing: ConfiChair, a case study. In: Degano, P., Guttman, J. (eds.) Principles of Security and Trust, Lecture Notes in Computer Science, vol. 7215, pp. 89\u2013108. Springer, Berlin Heidelberg, Tallinn, Estonia (2012)","DOI":"10.1007\/978-3-642-28641-4_6"},{"key":"338_CR2","doi-asserted-by":"crossref","unstructured":"Cortier, V., Wiedling, C.: A formal analysis of the Norwegian E-voting protocol. In: Proceedings of the 1st International Conference on Principles of Security and Trust (POST\u201912), Lecture Notes in Computer Science, vol. 7215, pp. 109\u2013128. Springer, Tallinn, Estonia (2012)","DOI":"10.1007\/978-3-642-28641-4_7"},{"key":"338_CR3","doi-asserted-by":"crossref","unstructured":"Grewal, G.S., Ryan, M.D., Bursuc, S., Ryan, P.Y.A.: Caveat Coercitor: Coercion-Evidence in Electronic Voting. In: Proceedings of the 2013 IEEE Symposium on Security and Privacy, SP\u201913, pp. 367\u2013381. IEEE Computer Society, Washington, DC, USA (2013)","DOI":"10.1109\/SP.2013.32"},{"issue":"1","key":"338_CR4","doi-asserted-by":"crossref","first-page":"89","DOI":"10.3233\/JCS-2012-0458","volume":"21","author":"V Cortier","year":"2013","unstructured":"Cortier, V., Smyth, B.: Attacking and fixing helios: an analysis of ballot secrecy. J. Comput. Secur. 21(1), 89 (2013)","journal-title":"J. Comput. Secur."},{"issue":"4","key":"338_CR5","doi-asserted-by":"crossref","first-page":"601","DOI":"10.3233\/JCS-140503","volume":"22","author":"C Bansal","year":"2014","unstructured":"Bansal, C., Bhargavan, K., Delignat-Lavaud, A., Maffeis, S.: Discovering concrete attacks on website authorization by formal analysis. J. Comput. Secur. 22(4), 601 (2014)","journal-title":"J. Comput. Secur."},{"key":"338_CR6","doi-asserted-by":"crossref","unstructured":"Armando, A., Carbone, R., Compagna, L., Cuellar, J., Tobarra, L.: Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for Google Apps. In: Proceedings of the 6th ACM Workshop on Formal Methods in Security Engineering, FMSE\u201908, pp. 1\u201310. ACM, New York, NY, USA (2008)","DOI":"10.1145\/1456396.1456397"},{"key":"338_CR7","doi-asserted-by":"crossref","unstructured":"Bansal, C., Bhargavan, K., Delignat-Lavaud, A., Maffeis, S.: Keys to the cloud: formal analysis and concrete attacks on encrypted web storage. In: Principles of Security and Trust, pp. 126\u2013146. Springer, Berlin, Heidelberg, Rome, Italy (2013)","DOI":"10.1007\/978-3-642-36830-1_7"},{"key":"338_CR8","doi-asserted-by":"crossref","unstructured":"Chothia, T., Smirnov, V.: A traceability attack against e-passports. In: Proceedings of the 14th International Conference on Financial Cryptography and Data Security, FC\u201910, pp. 20\u201334. Springer, Berlin, Heidelberg (2010)","DOI":"10.1007\/978-3-642-14577-3_5"},{"key":"338_CR9","doi-asserted-by":"crossref","unstructured":"Delaune, S., Kremer, S., Ryan, M.D., Steel, G.: A formal analysis of authentication in the TPM. In: Degano, P., Etalle, S., Guttman, J. (eds.) Formal Aspects of Security and Trust, Lecture Notes in Computer Science, vol. 6561, pp. 111\u2013125. Springer, Berlin, Heidelberg (2011)","DOI":"10.1007\/978-3-642-19751-2_8"},{"key":"338_CR10","doi-asserted-by":"publisher","unstructured":"Batten, I., Xu, S., Ryan, M.: Dynamic measurement and protected execution: model and analysis. In: Abadi, M., Lluch\u00a0Lafuente, A. (eds.) Trustworthy Global Computing, Lecture Notes in Computer Science, vol. 8358, pp. 45\u201363. Springer International Publishing, Buenos Aires, Argentina (2014). doi: 10.1007\/978-3-319-05119-2_4","DOI":"10.1007\/978-3-319-05119-2_4"},{"key":"338_CR11","doi-asserted-by":"crossref","unstructured":"Arapinis, M., Mancini, L., Ritter, E., Ryan, M., Golde, N., Redon, K., Borgaonkar, R.: New privacy issues in mobile telephony: fix and verification. In: Proceedings of the 2012 ACM Conference on Computer and Communications Security, CCS\u201912, pp. 205\u2013216. ACM, New York, NY, USA (2012)","DOI":"10.1145\/2382196.2382221"},{"key":"338_CR12","doi-asserted-by":"crossref","unstructured":"Arapinis, M., Chothia, T., Ritter, E. Ryan, M.: Analysing unlinkability and anonymity using the applied pi calculus. In: Computer Security Foundations Symposium (CSF), 2010 23rd IEEE, CSF, pp. 107\u2013121. IEEE, Edinburgh (2010)","DOI":"10.1109\/CSF.2010.15"},{"issue":"3","key":"338_CR13","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1111\/1467-9973.00055","volume":"28","author":"LD Introna","year":"1997","unstructured":"Introna, L.D.: Privacy and the computer: why we need privacy in the information society. Metaphilosophy 28(3), 259 (1997)","journal-title":"Metaphilosophy"},{"key":"338_CR14","doi-asserted-by":"crossref","unstructured":"Warren, S.D., Brandeis, L.D.: The right to privacy. In: Harvard Law Review, vol. 4, issue 5, pp.\u00a0193\u2013220. The Harvard Law Review Association (1890)","DOI":"10.2307\/1321160"},{"issue":"1","key":"338_CR15","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1109\/MTAS.2005.1407744","volume":"24","author":"J Cas","year":"2005","unstructured":"Cas, J.: Privacy in pervasive computing environments\u2014a contradiction in terms? IEEE Technol. Soc. Mag. 24(1), 24 (2005)","journal-title":"IEEE Technol. Soc. Mag."},{"issue":"1","key":"338_CR16","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1145\/1866739.1866751","volume":"54","author":"MD Ryan","year":"2011","unstructured":"Ryan, M.D.: Cloud computing privacy concerns on our doorstep. Commun. ACM 54(1), 36 (2011)","journal-title":"Commun. ACM"},{"issue":"11","key":"338_CR17","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1145\/1592761.1592778","volume":"52","author":"K Shilton","year":"2009","unstructured":"Shilton, K.: Four billion little brothers? Privacy, mobile phones, and ubiquitous data collection. Commun. ACM 52(11), 48 (2009)","journal-title":"Commun. ACM"},{"issue":"5","key":"338_CR18","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1109\/MWC.2010.5601955","volume":"17","author":"I Krontiris","year":"2010","unstructured":"Krontiris, I., Freiling, F., Dimitriou, T.: Location privacy in urban sensing networks: research challenges and directions [Security and Privacy in Emerging Wireless Networks]. IEEE Wirel. Commun. 17(5), 30 (2010)","journal-title":"IEEE Wirel. Commun."},{"key":"338_CR19","doi-asserted-by":"publisher","unstructured":"Avoine, G., Oechslin, P.: RFID traceability: a multilayer problem. In: Patrick, A., Yung, M. (eds.) Financial Cryptography and Data Security, Lecture Notes in Computer Science, vol. 3570, pp. 125\u2013140. Springer Berlin, Heidelberg, Roseau, The Commonwealth Of Dominica (2005). doi: 10.1007\/11507840_14","DOI":"10.1007\/11507840_14"},{"key":"338_CR20","doi-asserted-by":"crossref","unstructured":"Narayanan, A., Shmatikov, V.: De-anonymizing social networks. In: Proceedings of the 2009 30th IEEE Symposium on Security and Privacy, SP\u201909, pp. 173\u2013187. IEEE Computer Society, Washington, DC, USA (2009)","DOI":"10.1109\/SP.2009.22"},{"key":"338_CR21","unstructured":"Narayanan, A., Shmatikov, V.: How To Break Anonymity of the Netflix Prize Dataset. arXiv preprint arXiv:cs\/0610105 (2006)"},{"key":"338_CR22","unstructured":"Barbaro, M., Zeller Jr., T.: A face is exposed for aol searcher no. 4417749. The New York Times (2006). http:\/\/www.nytimes.com\/2006\/08\/09\/technology\/09aol.html?_r=0"},{"issue":"1","key":"338_CR23","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1109\/MPRV.2003.1186725","volume":"2","author":"AR Beresford","year":"2003","unstructured":"Beresford, A.R., Stajano, F.: Location privacy in pervasive computing. IEEE Pervasive Comput. 2(1), 46 (2003)","journal-title":"IEEE Pervasive Comput."},{"issue":"6","key":"338_CR24","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1007\/s00779-008-0212-5","volume":"13","author":"J Krumm","year":"2009","unstructured":"Krumm, J.: A survey of computational location privacy. Pers. Ubiquitous Comput. 13(6), 391 (2009)","journal-title":"Pers. Ubiquitous Comput."},{"key":"338_CR25","doi-asserted-by":"crossref","unstructured":"G\u00f6rlach, A., Heinemann, A., Terpstra, W.: Survey on location privacy in pervasive computing. In: Robinson, P., Vogt, H., Wagealla, W.(eds.) Privacy, Security and Trust within the Context of Pervasive Computing, The International Series in Engineering and Computer Science, vol. 780, pp. 23\u201334. Springer, USA (2005)","DOI":"10.1007\/0-387-23462-4_3"},{"key":"338_CR26","doi-asserted-by":"crossref","unstructured":"Brus\u00f3, M., Chatzikokolakis, K., Hartog, J.D.: Formal verification of privacy for RFID systems. In: Proceedings of the 2010 23rd IEEE Computer Security Foundations Symposium, CSF\u201910, pp. 75\u201388. IEEE Computer Society, Washington, DC, USA (2010)","DOI":"10.1109\/CSF.2010.13"},{"key":"338_CR27","doi-asserted-by":"crossref","unstructured":"Kremer, S., Ryan, M.: Analysis of an electronic voting protocol in the applied pi calculus. In: Proceedings of the 14th European Conference on Programming Languages and Systems, ESOP\u201905, pp. 186\u2013200. Springer, Berlin, Heidelberg (2005)","DOI":"10.1007\/978-3-540-31987-0_14"},{"key":"338_CR28","doi-asserted-by":"crossref","unstructured":"Dolev, D., Yao, A.C. (1981) On the security of public key protocols. In: Foundations of Computer Science, Annual IEEE Symposium on 0, 350","DOI":"10.1109\/SFCS.1981.32"},{"key":"338_CR29","doi-asserted-by":"crossref","unstructured":"Bhargavan, K., Lavaud, A., Fournet, C., Pironti, A., Strub, P.: Triple handshakes and cookie cutters: breaking and fixing authentication over TLS. In: Security and Privacy (SP), 2014 IEEE Symposium on, pp. 98\u2013113. IEEE, USA (2014)","DOI":"10.1109\/SP.2014.14"},{"key":"338_CR30","first-page":"68","volume-title":"Future Challenges in Security and Privacy for Academia and Industry, IFIP Advances in Information and Communication Technology","author":"A Armando","year":"2011","unstructured":"Armando, A., Carbone, R., Compagna, L., Cuellar, J., Pellegrino, G., Sorniotti, A.: From multiple credentials to browser-based single sign-on: are we more secure? In: Camenisch, J., Fischer-Hbner, S., Murayama, Y., Portmann, A., Rieder, C. (eds.) Future Challenges in Security and Privacy for Academia and Industry, IFIP Advances in Information and Communication Technology, vol. 354, pp. 68\u201379. Springer, Berlin (2011)"},{"key":"338_CR31","doi-asserted-by":"crossref","unstructured":"Abadi, M., Fournet, C.: Mobile values, new names, and secure communication. In: Proceedings of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL\u201901, pp. 104\u2013115. ACM, New York, NY, USA (2001)","DOI":"10.1145\/360204.360213"},{"key":"338_CR32","unstructured":"Durgin, N.A., Lincoln, P., Mitchell, J.C., Scedrov, A.: Undecidability of bounded security protocols. In: Workshop on Formal Methods and Security Protocols, FMSP\u201999, Trento, Italy (1999)"},{"key":"338_CR33","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S1571-0661(04)80530-9","volume":"68","author":"H H\u00fcttel","year":"2002","unstructured":"H\u00fcttel, H.: Deciding framed bisimilarity. Electron. Notes Theor. Comput. Sci. 68, 1\u201318 (2002)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"338_CR34","doi-asserted-by":"crossref","unstructured":"Cheval, V., Comon-Lundh, H., Delaune, S.: Automating security analysis: symbolic equivalence of constraint systems. In: Proceedings of the 5th International Conference on Automated Reasoning, IJCAR\u201910, pp. 412\u2013426. Springer, Berlin, Heidelberg (2010)","DOI":"10.1007\/978-3-642-14203-1_35"},{"key":"338_CR35","doi-asserted-by":"crossref","unstructured":"Cortier, V., Delaune, S.: A method for proving observational equivalence. In: Proceedings of the 2009 22nd IEEE Computer Security Foundations Symposium, CSF\u201909, pp. 266\u2013276. IEEE Computer Society, Washington, DC, USA (2009)","DOI":"10.1109\/CSF.2009.9"},{"key":"338_CR36","doi-asserted-by":"publisher","unstructured":"Baudet, M.: Deciding security of protocols against off-line guessing attacks. In: Proceedings of the 12th ACM Conference on Computer and Communications Security, CCS\u201905, pp. 16\u201325. ACM, New York, NY, USA (2005). doi: 10.1145\/1102120.1102125","DOI":"10.1145\/1102120.1102125"},{"issue":"4","key":"338_CR37","doi-asserted-by":"crossref","first-page":"363","DOI":"10.3233\/JCS-2009-0339","volume":"17","author":"B Blanchet","year":"2009","unstructured":"Blanchet, B.: Automatic verification of correspondences for security protocols. J. Comput. Secur. 17(4), 363 (2009)","journal-title":"J. Comput. Secur."},{"key":"338_CR38","doi-asserted-by":"crossref","unstructured":"Blanchet, B., Fournet, C.: Automated verification of selected equivalences for security protocols. In: Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science, LICS\u201905, pp. 331\u2013340. IEEE Computer Society, Washington, DC, USA (2005)","DOI":"10.1109\/LICS.2005.8"},{"key":"338_CR39","doi-asserted-by":"crossref","unstructured":"Blanchet, B.: An efficient cryptographic protocol verifier based on prolog rules. In: Proceedings of the 14th IEEE Workshop on Computer Security Foundations, CSFW\u201901, pp. 82\u201396. IEEE Computer Society, Washington, DC, USA (2001)","DOI":"10.1109\/CSFW.2001.930138"},{"key":"338_CR40","unstructured":"3GPP, Technical specification group services and system aspects; security aspects (release 4), TS 42.009. Technical Specification TS 42.009 V4.3.0, 3rd Generation Partnership Project (2010)"},{"key":"338_CR41","unstructured":"3GPP, Technical specification group services and system aspects; 3G security; security architecture (release 9), TS 33.102. Technical Specification TS 33.102 V9.3.0, 3rd Generation Partnership Project (2010)"},{"key":"338_CR42","doi-asserted-by":"crossref","unstructured":"Biryukov, A., Shamir, A., Wagner, D.: Real time cryptanalysis of A5\/1 on a PC. In: Proceedings of the 7th International Workshop on Fast Software Encryption, FSE\u201900, pp. 1\u201318. Springer, London, UK (2001)","DOI":"10.1007\/3-540-44706-7_1"},{"key":"338_CR43","unstructured":"Nohl, K., Munaut, S.: Wideband gsm sniffing. http:\/\/events.ccc.de\/congress\/2010\/Fahrplan\/attachments\/1783_101228.27C3.GSM-Sniffing.Nohl_Munaut.pdf (2010)"},{"key":"338_CR44","doi-asserted-by":"crossref","unstructured":"Ahmadian, Z., Salimi, S., Salahi, A.: New attacks on UMTS network access. In: Conference on Wireless Telecommunications Symposium, WTS\u201909, pp. 1\u20136. IEEE, Prague (2009)","DOI":"10.1109\/WTS.2009.5068979"},{"key":"338_CR45","unstructured":"Nohl, K., Melette, L.: Defending mobile phones. http:\/\/events.ccc.de\/congress\/2011\/Fahrplan\/attachments\/1994_111217.SRLabs-28C3-Defending_mobile_phones.pdf (2011). http:\/\/www.gsmmap.org . 28th Chaos Communication Congress (28C3)"},{"key":"338_CR46","unstructured":"May, S., Melette, L.: Distributed gsm security analysis. https:\/\/program.sigint.ccc.de\/fahrplan\/system\/attachments\/21\/original\/120518.GSMMAP-SIGINT.pdf (2012). http:\/\/www.gsmmap.org . SIGINT 2012"},{"key":"338_CR47","doi-asserted-by":"crossref","unstructured":"Koien, G., Oleshchuk, V.: Location privacy for cellular systems; analysis and solution. In: Privacy Enhancing Technologies Symposium, vol. 3856 (2006)","DOI":"10.1007\/11767831_4"},{"key":"338_CR48","first-page":"539","volume":"21","author":"D Fox","year":"1997","unstructured":"Fox, D.: IMSI-Catcher. Datenschutz und Datensicherheit (DuD) 21, 539 (1997)","journal-title":"Datenschutz und Datensicherheit (DuD)"},{"key":"338_CR49","unstructured":"Strobel, D.: IMSI Catcher. In: Seminar Work, Ruhr-Universitat Bochum (2007)"},{"key":"338_CR50","unstructured":"Paget, C.: Practical cellphone spying. Def Con 18 Hacking Conference (2010). http:\/\/www.defcon.org\/html\/defcon-18\/dc-18-speakers.html"},{"key":"338_CR51","unstructured":"Kune, D.F., Koelndorfer, J., Hopper, N., Kim, Y.: Location leaks over the GSM air interface. In: Annual Network & Distributed System Security Symposium. NDSS (2012)"},{"key":"338_CR52","unstructured":"Welte, H., Munaut, S.: A. Eversberg, other contributors. OsmocomBB. http:\/\/bb.osmocom.org (2011)"},{"key":"338_CR53","unstructured":"Engel, T.: Locating mobile phones using signalling system 7. http:\/\/events.ccc.de\/congress\/2008\/Fahrplan\/attachments\/1262_25c3-locating-mobile-phones.pdf (2008). 25th Chaos Communication Congress (25C3)"},{"key":"338_CR54","unstructured":"Golde, N., Redon, K., Seifert, J.P.: Let me answer that for you: exploiting broadcast information in cellular networks. In: Presented as part of the 22nd USENIX Security Symposium (USENIX Security 13), pp. 33\u201348. USENIX, Washington, DC (2013). https:\/\/www.usenix.org\/conference\/usenixsecurity13\/technical-sessions\/presentation\/golde"},{"key":"338_CR55","unstructured":"Golde, N., Redon, K., Borgaonkar, R.: Weaponizing femtocells: the effect of rogue devices on mobile telecommunications. In: Annual Network & Distributed System Security Symposium. NDSS (2012)"},{"key":"338_CR56","doi-asserted-by":"crossref","unstructured":"Meyer, U., Wetzel, S.: A man-in-the-middle attack on UMTS. In: ACM Workshop on Wireless Security. WiSe (2004)","DOI":"10.1145\/1023646.1023662"},{"issue":"2","key":"338_CR57","doi-asserted-by":"crossref","first-page":"734","DOI":"10.1109\/TWC.2004.842941","volume":"4","author":"M Zhang","year":"2005","unstructured":"Zhang, M., Fang, Y.: Security analysis and enhancements of 3GPP authentication and key agreement protocol. IEEE Trans. Wirel. Commun. 4(2), 734 (2005)","journal-title":"IEEE Trans. Wirel. Commun."},{"key":"338_CR58","doi-asserted-by":"crossref","unstructured":"Hahn, C., Kwon, H., Kim, D., Kang, K., Hur, J.: A privacy threat in 4th generation mobile telephony and its countermeasure. In: Wireless Algorithms, Systems, and Applications, pp. 624\u2013635. Springer (2014)","DOI":"10.1007\/978-3-319-07782-6_56"},{"key":"338_CR59","unstructured":"3GPP, Technical specification group services and system aspects; 3G security; formal analysis of the 3G authentication protocol (release 4), TS 33.902. Technical Specification TR 33.902, V4.0.0, 3rd Generation Partnership Project (2001)"},{"key":"338_CR60","doi-asserted-by":"crossref","unstructured":"Khan, M.S.A., Mitchell, C.J.: Another look at privacy threats in 3G mobile telephony. In: Information Security and Privacy, pp. 386\u2013396. Springer (2014)","DOI":"10.1007\/978-3-319-08344-5_25"},{"key":"338_CR61","unstructured":"3GPP, Technical specification group core network and terminals; mobile radio interface layer 3 specification; core network protocols; stage 3 (release 9), TS 24.008. Tech. Rep. TS 24.008 V9.4.0, 3rd Generation Partnership Project (2010)"},{"key":"338_CR62","unstructured":"Wehrle, D.: Open Source IMSI-Catcher f\u00fcr GSM. Master Thesis (2009)"},{"key":"338_CR63","unstructured":"3GPP, Technical specification group radio access network; radio resource control (RRC); protocol specification (release 10), TS 25.331. Tech. Rep. TS 25.331, V10.5.0, 3rd Generation Partnership Project (2011)"},{"key":"338_CR64","unstructured":"Combs, G.: Wireshark (1998). http:\/\/www.wireshark.org"},{"key":"338_CR65","doi-asserted-by":"crossref","unstructured":"Gonzalez, M.C., Hidalgo, C.A., Barabasi, A.L.: Understanding individual human mobility patterns. Nature 453, 779 (2008). http:\/\/www.nature.com\/nature\/journal\/v453\/n7196\/suppinfo\/nature06958_S1.html","DOI":"10.1038\/nature06958"},{"key":"338_CR66","doi-asserted-by":"crossref","unstructured":"Bayir, M., Demirbas, M., Eagle, N.: Discovering spatiotemporal mobility profiles of cellphone users. In: World of Wireless, Mobile and Multimedia Networks Workshops, 2009. WoWMoM 2009, pp. 1\u20139. IEEE, Kos, Greece (2009)","DOI":"10.1109\/WOWMOM.2009.5282489"},{"key":"338_CR67","unstructured":"Arapinis, M., Mancini, L.I., Ritter, E., Ryan M. (2013). http:\/\/www.markryan.eu\/research\/mobile\/"},{"key":"338_CR68","unstructured":"3GPP, Technical specification group services and system aspects; 3G security; cryptographic algorithm requirements (release 10), TS 33.105. Technical Specification TS 33.105 V10.0.0, 3rd Generation Partnership Project (2011)"},{"key":"338_CR69","unstructured":"Ettus. USRP (2009). http:\/\/www.ettus.com"},{"key":"338_CR70","unstructured":"3GPP, Security of Home Node B (HNB) \/ Home evolved Node B (HeNB), TS 33.302. Technical Specification TS 33.302 v11.2.0, 3rd Generation Partnership Project (2011)"},{"key":"338_CR71","unstructured":"Kineto Wireless Inc. official Unlicensed Mobile Access presentation website. http:\/\/www.smart-wi-fi.com\/ (2010)"},{"key":"338_CR72","unstructured":"3GPP, Generic Access Network (GAN); Mobile GAN interface layer 3 specification, TS 44.318. Technical Specification TS 44.318 v9.2.0, 3rd Generation Partnership Project (2010)"},{"key":"338_CR73","unstructured":"3GPP, Generic Access Network (GAN); Stage 2, TS 43.318. Technical Specification TS 43.318 v9.0.0, 3rd Generation Partnership Project (2010)"},{"key":"338_CR74","volume-title":"Femtocells: Technologies and Deployment","author":"J Zhang","year":"2009","unstructured":"Zhang, J., de\u00a0la Roche, G.: Femtocells: Technologies and Deployment. Wiley, New York (2009)"},{"key":"338_CR75","unstructured":"P.I. Ltd.: Footpath. http:\/\/www.pathintelligence.com (2004)"},{"key":"338_CR76","doi-asserted-by":"crossref","unstructured":"Lowe, G.: Breaking and fixing the Needham\u2013Schroeder public-key protocol using FDR. In: Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems, TACAS, pp. 147\u2013166. Springer, London, UK (1996)","DOI":"10.1007\/3-540-61042-1_43"},{"key":"338_CR77","doi-asserted-by":"crossref","first-page":"402","DOI":"10.1016\/j.ic.2007.05.005","volume":"206","author":"I Cervesato","year":"2008","unstructured":"Cervesato, I., Jaggard, A.D., Scedrov, A., Tsay, J.K., Walstad, C.: Breaking and fixing public-key Kerberos. Inf. Comput. 206, 402 (2008)","journal-title":"Inf. Comput."},{"key":"338_CR78","doi-asserted-by":"crossref","unstructured":"Bortolozzo, M., Centenaro, M., Focardi, R., Steel, G.: Attacking and fixing PKCS#11 security tokens. In: Proceedings of the 17th ACM Conference on Computer and Communications Security, CCS\u201910, pp. 260\u2013269. ACM, New York, NY, USA (2010)","DOI":"10.1145\/1866307.1866337"},{"key":"338_CR79","unstructured":"Blanchet, B.: Proverif: Cryptographic protocol verifier in the formal model. http:\/\/www.proverif.ens.fr\/ (2001)"},{"issue":"1","key":"338_CR80","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.jlap.2007.06.002","volume":"75","author":"B Blanchet","year":"2008","unstructured":"Blanchet, B., Abadi, M., Fournet, C.: Automated verification of selected equivalences for security protocols. J. Log. Algebraic Program. 75(1), 3 (2008)","journal-title":"J. Log. Algebraic Program."},{"key":"338_CR81","unstructured":"Arapinis, M., Mancini, L.I., Ritter, E., Ryan, M.: http:\/\/www.markryan.eu\/research\/UMTS\/ (2012)"},{"key":"338_CR82","doi-asserted-by":"crossref","unstructured":"Arapinis, M., Mancini, L.I., Ritter, E., Ryan, M.: Privacy through pseudonymity in mobile telephony systems. In: 21st Annual Network and Distributed System Security Symposium (NDSS14), p. 14. Internet Society, San Diego, CA, USA (2014)","DOI":"10.14722\/ndss.2014.23082"}],"container-title":["International Journal of Information Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10207-016-0338-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10207-016-0338-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10207-016-0338-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10207-016-0338-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,10]],"date-time":"2019-09-10T15:05:26Z","timestamp":1568127926000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10207-016-0338-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7,5]]},"references-count":82,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2017,10]]}},"alternative-id":["338"],"URL":"https:\/\/doi.org\/10.1007\/s10207-016-0338-9","relation":{},"ISSN":["1615-5262","1615-5270"],"issn-type":[{"value":"1615-5262","type":"print"},{"value":"1615-5270","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,7,5]]}}}