{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T12:35:11Z","timestamp":1725798911058},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662448922"},{"type":"electronic","value":"9783662448939"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-44893-9_14","type":"book-chapter","created":{"date-parts":[[2014,8,19]],"date-time":"2014-08-19T23:15:08Z","timestamp":1408490108000},"page":"153-165","source":"Crossref","is-referenced-by-count":4,"title":["Practical Authentication Protocols for Protecting and Sharing Sensitive Information on Mobile Devices"],"prefix":"10.1007","author":[{"given":"Imed","family":"El Fray","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tomasz","family":"Hyla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miros\u0142aw","family":"Kurkowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Witold","family":"Ma\u0107k\u00f3w","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jerzy","family":"Peja\u015b","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Hyla, T., Peja\u015b, J., El Fray, I., Ma\u0107k\u00f3w, W., Chocianowicz, W., Szulga, M.: Sensitive Information Protection on Mobile Devices Using General Access Structures. In: The Ninth International Conference on Systems, ICONS 2014, pp. 192\u2013196. IARIA (2014)"},{"key":"14_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/978-3-642-40925-7_19","volume-title":"Computer Information Systems and Industrial Management","author":"T. Hyla","year":"2013","unstructured":"Hyla, T., Peja\u015b, J.: A practical certificate and identity based encryption scheme and related security architecture. In: Saeed, K., Chaki, R., Cortesi, A., Wierzcho\u0144, S. (eds.) CISIM 2013. LNCS, vol.\u00a08104, pp. 190\u2013205. Springer, Heidelberg (2013)"},{"key":"14_CR3","unstructured":"CEN, prEN 14890-1: Application Interface for smart cards used as Secure Signature Creation Devices - Part 1: Basic services (2012)"},{"key":"14_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-09527-0","volume-title":"Protocols for Authentication and Key Establishment","author":"C. Boyd","year":"2003","unstructured":"Boyd, C., Mathuria, A.: Protocols for Authentication and Key Establishment. Springer, Heidelberg (2003)"},{"key":"14_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24073-7","volume-title":"Cryptographic Protocol Security Analysis Based on Trusted Freshness","author":"L. Dong","year":"2012","unstructured":"Dong, L., Chen, K.: Cryptographic Protocol Security Analysis Based on Trusted Freshness. Springer, Heidelberg (2012)"},{"key":"14_CR6","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/0020-0190(94)00178-2","volume":"53","author":"C.H. Lim","year":"1995","unstructured":"Lim, C.H., Lee, P.J.: Several practical protocols for authentication and key exchange. Information Processing Letters\u00a053, 91\u201396 (1995)","journal-title":"Information Processing Letters"},{"key":"14_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-36288-6_12","volume-title":"Public Key Cryptography - PKC 2003","author":"C. Boyd","year":"2002","unstructured":"Boyd, C., Gonz\u00e1lez Nieto, J.M.: Round-Optimal Contributory Conference Key Agreement. In: Desmedt, Y.G. (ed.) PKC 2003. LNCS, vol.\u00a02567, pp. 161\u2013174. Springer, Heidelberg (2002)"},{"key":"14_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/978-3-642-04474-8_29","volume-title":"Information Security","author":"Y.-Y. Chen","year":"2009","unstructured":"Chen, Y.-Y., Lee, R.B.: Hardware-Assisted Application-Level Access Control. In: Samarati, P., Yung, M., Martinelli, F., Ardagna, C.A. (eds.) ISC 2009. LNCS, vol.\u00a05735, pp. 363\u2013378. Springer, Heidelberg (2009)"},{"key":"14_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/978-3-642-33260-9_3","volume-title":"Computer Information Systems and Industrial Management","author":"T. Hyla","year":"2012","unstructured":"Hyla, T., Peja\u015b, J.: Certificate-Based Encryption Scheme with General Access Structure. In: Cortesi, A., Chaki, N., Saeed, K., Wierzcho\u0144, S. (eds.) CISIM 2012. LNCS, vol.\u00a07564, pp. 41\u201355. Springer, Heidelberg (2012)"},{"key":"14_CR10","unstructured":"ISO\/IEC 11770-3:2008 Information technology \u2013 Security techniques \u2013 Key management \u2013 Part 3: Mechanisms using asymmetric techniques (2008)"},{"key":"14_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/978-3-642-14992-4_16","volume-title":"Financial Cryptography and Data Security","author":"S. Matsuo","year":"2010","unstructured":"Matsuo, S., Miyazaki, K., Otsuka, A., Basin, D.: How to Evaluate the Security of Real-Life Cryptographic Protocols? In: Sion, R., Curtmola, R., Dietrich, S., Kiayias, A., Miret, J.M., Sako, K., Seb\u00e9, F. (eds.) FC 2010 Workshops. LNCS, vol.\u00a06054, pp. 182\u2013194. Springer, Heidelberg (2010)"},{"key":"14_CR12","unstructured":"Ryan, P.Y.A., Schneider, S.A., Goldsmith, M.H., Lowe, G., Roscoe, A.W.: The Modelling and Analysis of Security Protocols: the CSP Approach. Addison-Wesley (2001)"},{"issue":"3","key":"14_CR13","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/s10207-004-0055-7","volume":"4","author":"D.M. Basin","year":"2005","unstructured":"Basin, D.M., M\u00f6dersheim, S., Vigan\u00f2, L.: OFMC: A symbolic model checker for security protocols. International Journal of Information Security\u00a04(3), 181\u2013208 (2005)","journal-title":"International Journal of Information Security"},{"key":"14_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/11513988_27","volume-title":"Computer Aided Verification","author":"A. Armando","year":"2005","unstructured":"Armando, A., et al.: The AVISPA tool for the automated validation of internet security protocols and applications. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol.\u00a03576, pp. 281\u2013285. Springer, Heidelberg (2005)"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Blanchet, B.: A computationally sound mechanized prover for security protocols. In: IEEE Symposium on Security and Privacy, Oakland, California, pp. 140\u2013154 (2006)","DOI":"10.1109\/SP.2006.1"},{"issue":"3-4","key":"14_CR16","first-page":"453","volume":"79","author":"M. Kurkowski","year":"2007","unstructured":"Kurkowski, M., Penczek, W.: Verifying Security Protocols Modeled by Networks of Automata. Fundamenta Informaticae\u00a079(3-4), 453\u2013471 (2007)","journal-title":"Fundamenta Informaticae"},{"key":"14_CR17","series-title":"LNCS","first-page":"224","volume-title":"PPAM 2013","author":"M. Kurkowski","year":"2013","unstructured":"Kurkowski, M., Siedlecka-Lamch, O., Szymoniak, S., Piech, H.: Parallel Bounded Model Checking of Security Protocols. In: Wyrzykowski, R., Dongarra, J., Karczewski, K., Wa\u015bniewski, J. (eds.) PPAM 2013, Part I. LNCS, vol.\u00a08384, pp. 224\u2013234. Springer, Heidelberg (2013)"},{"key":"14_CR18","first-page":"191","volume-title":"Proc. of CS&P 2012","author":"O. Siedlecka-Lamch","year":"2012","unstructured":"Siedlecka-Lamch, O., et al.: A New Effective Approach for Modelling and Verification of Security Protocols. In: Proc. of CS&P 2012, pp. 191\u2013202. Humboldt University Press, Berlin (2012)"},{"key":"14_CR19","unstructured":"Kurkowski, M.: Mobile device to protect classified information (MobInfoSec). Task 3: Protocols for authentication and information security. Part 2: Formal analysis of cryptographic authentication protocols. Technical Report, TR\/ZUT WI KIO ZOI 0003.02\/2014, West Pomeranian University of Technology in Szczecin, Poland (2014) (in Polish)"},{"key":"14_CR20","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","volume":"29","author":"D. Dolev","year":"1983","unstructured":"Dolev, D., Yao, A.: On the security of public-key protocols. IEEE Transactions on Information Theory\u00a029, 198\u2013208 (1983)","journal-title":"IEEE Transactions on Information Theory"}],"container-title":["Communications in Computer and Information Science","Cryptography and Security Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44893-9_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T12:37:13Z","timestamp":1558960633000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-44893-9_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662448922","9783662448939"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44893-9_14","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2014]]}}}