Data processing security; Computer program verification; Identification systems; Cards; Attack; Credit cards; Debit cards; Functionality; Payment systems; Relay; Skimming; Vulnerability; Personal identification number (PIN); Near Field Communication (NFC); Europay MasterCard and Visa (EMV); Point of sale;
机译:旋转模型检查和软件验证:2000年8月30日至9月1日,在美国加利福尼亚州斯坦福市举行的第七届国际SPIN研讨会论文集,作者:克劳斯·哈夫伦(Klaus Havelund),约翰·佩尼克斯(John Penix)和威廉·维瑟(Willem Visser)(编辑)。 《计算机科学讲义》,第1885卷,由施普林格出版社出版,德国柏林,2000年。ISBN:3-540-41030-9,343页。价格:31.00英镑,62.00美元,德国90.00马克,软封面。
机译:系统神经科学中的循环分析:双重浸入的危险。
机译:“旋转”的危险:信息,科学,安全和福利
机译:非接触式卡上的离线验证PIN的风险
机译:使用动态签名验证开发生物认证系统:统计学习和软计算方法
机译:旋转的危险:信息科学安全和福利
机译:非接触式卡上验证PIN的危险
机译:计算科学:保护EmV非接触式支付卡的pOs终端认证协议。