Improved security notions and protocols for non-transferable identification

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5283 LNCS, Issue , 2008, Pages 364-378

  Blundo, Carlo ^a   Persiano, Giuseppe ^a   Sadeghi, Ahmad Reza ^b   Visconti, Ivan ^a  

^a UNIVERSITY OF SALERNO   (Italy)

^b RUHR UNIVERSITY BOCHUM   (Germany)

Author keywords

E passports; Non transferability; Reset attacks

Indexed keywords

SECURITY OF DATA;

ADVERSARY MODELS; E-PASSPORT; ELECTRONIC PASSPORTS; GENERIC PROTOCOLS; IDENTIFICATION PROTOCOL; IMPOSSIBILITY RESULTS; NON-TRANSFERABILITY; RESET ATTACKS;

SECURITY SYSTEMS;

EID: 57049171408     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-88313-5_24     Document Type: Conference Paper

References (21)

1. Goldwasser, S., Micali, S., Rackoff, C.: The Knowledge Complexity of Interactive Proof-Systems. SIAM J. on Computing 18, 186-208 (1989)
2. Bellare, M., Goldreich, O.: On Defining Proofs of Knowledge. In: Brickell, E.F. (ed.) CRYPTO 1992. LNCS, vol. 740, pp. 390-420. Springer, Heidelberg (1993)
3. Organization, I.C.A.: Machine Readable Travel Documents, Doc. 9303, Part 1 Machine Readable Passports (Fifth Edition) (2003)
4. MRTD/NTWG, I.T.: Biometrics Deployment of Machine Readable Travel Documents, Technical Report (2004), http: //www.icao.int/mrtd
5. BSI: (Advanced security mechanisms for machine readable travel documents - extended access control), http://www.bsi.burid.de/fachthem/epass/EACTR03110- v110.pdf
6. Chaum, D.: Designated confirmer signatures. In: De Santis, A. (ed.) EUROCRYPT 1994. LNCS, vol. 950, pp. 86-91. Springer, Heidelberg (1995)
7. Jakobsson, M., Sako, K., Impagliazzo, R.: Designated verifier proofs and their applications. In: Maurer, U.M. (ed.) EUROCRYPT 1996. LNCS, vol. 1070, pp. 143-154. Springer, Heidelberg (1996)
8. Monnerat, J., Vaudenay, S., Vuagnoux, M.: About machine-readable travel documents - privacy enhancement using (weakly) non-transferable data authentication. In: International Conference on RFlD Security (2007)
9. Canetti, R., Goldreich, O., Goldwasser, S., Micali, S.: Resettable Zero-Knowledge. In: STOC 2000, pp. 235-244. ACM, New York (2000)
10. Bellare, M., Fischlin, M., Goldwasser, S., Micali, S.: Identification protocols secure against reset attacks. In: Pfitzmann, B. (ed.) EUROCRYPT 2001. LNCS, vol. 2045, pp. 495-511. Springer, Heidelberg (2001)
11. Di Crescenzo, G., Persiano, G., Visconti, I.: Constant-Round Resettable Zero Knowledge with Concurrent Soundness in the Bare Public-Key Model. In: Franklin, M. (ed.) CRYPTO 2004. LNCS, vol. 3152, pp. 237-253. Springer, Heidelberg (2004)
12. Brands, S., Chaum, D.: Distance-bounding protocols. In: Helleseth, T. (ed.) EUROCRYPT 1993. LNCS, vol. 765, pp. 344-359. Springer, Heidelberg (1994)
13. Bussard, L., Roudier, Y.: Embedding distance bounding protocols within intuitive interactions. In: Proceedings of the First International Conference on Security in Pervasive Computing (SPC 2003), Boppard (2003)
14. Hancke, G.P., Kuhn, M.G.: An rfid distance bounding protocol. In: Proceedings of IEEE/Create-Net SecureComm 2005 (2005)
15. Singele, D., Preneel, B.: Distance bounding in noisy environments. In: Security and Privacy in Ad-hoc and Sensor Networks, pp. 101-115. Springer, Heidelberg (2007)
16. Justice, H.A.: Eu standard specifications for security features and biometrics in passports and travel documents. Technical report, EU (2006)
17. Catalano, D., Visconti, I.: Hybrid Trapdoor Commitments and Their Applications. In: Caires, L., Italiano, G.F., Monteiro, L., Palamidessi, C., Yung, M. (eds.) ICALP 2005. LNCS, vol. 3580, pp. 298-310. Springer, Heidelberg (2005)
18. Schnorr, C.P.: Efficient Signature Generation for Smart, Cards. Journal of Cryptology 4, 239-252 (1991)
19. Cramer, R., Damgard, I., Schoenmakers, B.: Proofs of Partial Knowledge and Simplified Design of Witness Hiding Protocols. In: Desmedí, Y.G. (ed.) CRYPTO 1994. LNCS, vol. 839, pp. 174-187. Springer, Heidelberg (1994)
20. Feige, U., Shamir, A.: Witness indistinguishable and witness hiding protocols. In: STOC 1990, pp. 416-426. ACM, New York (1990)
21. Feige, U., Lapidot, D., Shamir, A.: Multiple Non-Interactive Zero Knowledge Proofs Under General Assumptions. SIAM J. on Computing 29, 1-28 (1999)