最 低 价：￥305.10
| Invited Talk Protecting Consumer Security Devices（The Next 10 Years） Contributed Papters Jakarta：A Toolset for Reasoning about Java Cord Mechanising a Protocol for Smart Cards JCCM：Flexible Certificates for Smartcards with Java Card Context Inference for Static Analysis of Java Card Object Sharing Automated Test and Oracle Generation for Smart-Card Applications An Internet Authorization Scheme Using Smart-Card-Based Security Dernels Turning Multi-applications Smart Cards Services Available from Anywhere at Anytime：A SOAP/MOM Approcach in the Context of Java Cards An Operational Semantics of the Java Card Firewall CardS4：Modal Theorem Proving on Java Smartcards iButoon Enrolment and Verification Requirements for the Pressure Sequence Smartcard Biometric SIMspeak-Towards an Open and Secure Application Platform for GSM SIMs On-Card Bytecode Verificaltion for Java Card Towards a Full Formal Specifion of the Java Card API Protection Profiles and Generic Security Targets for Smart Cards as Secure Signature Creation Devices-Existing Solutions for the Payment Sector A Flexible Invocation Framework for Java Card ElectroMagnetic Analysis（EMA）：Measures and Counter-Measures for Smart Cards Jean-Jacques Quisquater and Dauid Samyde Information Leakage Attacks against Smart Card Implementations of the Elliptic Curve Digital Signature Algorithm Use of Biometrics for User Verification in Electronic Signature Smartcards Programming Internet Smartcard with XML Scripts Public-Key-Based High-Speed Payment（Electronic Money）System Using Contact-Less Smart Cards Author Index |
内容加载中，请稍后...
商品评论（0条）