Formal Security Analysis of Australian E-passport Implementation.

Vijayakrishnan Pasupathinathan Josef Pieprzyk Huaxiong Wang

Published in: AISC (2008)

Keyphrases

security analysis
smart card
public key
security requirements
security model
high security
encryption scheme
security properties
databases
low cost
data access
authentication protocol
encryption algorithm
user authentication