搜索结果: 1-1 共查到“计算机软件 Security Analysis of Australian”相关记录1条 . 查询时间(0.078 秒)
Security Analysis of Australian and E.U. E-passport Implementation
Security Analysis of Australian E.U. E-passport Implementation
2008/7/3
This paper makes a formal security analysis of the current Australian e-passport implementation using model checking tools CASPER/CSP/FDR. We highlight security issues in the current implementation an...