LEADER 04947nam 22008055 450 001 9910143628003321 005 20200706074658.0 010 $a3-540-45418-7 024 7 $a10.1007/3-540-45418-7 035 $a(CKB)1000000000211549 035 $a(SSID)ssj0000326687 035 $a(PQKBManifestationID)11263374 035 $a(PQKBTitleCode)TC0000326687 035 $a(PQKBWorkID)10297472 035 $a(PQKB)10093679 035 $a(DE-He213)978-3-540-45418-2 035 $a(MiAaPQ)EBC3073226 035 $a(PPN)155201212 035 $a(EXLCZ)991000000000211549 100 $a20121227d2001 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aSmart Card Programming and Security $eInternational Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001. Proceedings /$fedited by Isabelle Attali, Thomas Jensen 205 $a1st ed. 2001. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2001. 215 $a1 online resource (VIII, 260 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2140 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-42610-8 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aInvited Talk -- Protecting Consumer Security Devices -- Contributed Papers -- Jakarta: A Toolset for Reasoning about JavaCard -- 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 Kernels -- Turning Multi-applications Smart Cards Services Available from Anywhere at Anytime: A SOAP/MOM Approach in the Context of Java Cards -- An Operational Semantics of the Java Card Firewall -- CardS4: Modal Theorem Proving on Java Smartcards -- iButton Enrolment and Verification Requirements for the Pressure Sequence Smartcard Biometric -- SIMspeak - Towards an Open and Secure Application Platform for GSM SIMs -- On-Card Bytecode Verification for Java Card -- Towards a Full Formal Specification of the JavaCard 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 -- 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. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2140 606 $aData encryption (Computer science) 606 $aComputer engineering 606 $aComputer security 606 $aSpecial purpose computers 606 $aComputer communication systems 606 $aOperating systems (Computers) 606 $aCryptology$3https://scigraph.springernature.com/ontologies/product-market-codes/I28020 606 $aComputer Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I27000 606 $aSystems and Data Security$3https://scigraph.springernature.com/ontologies/product-market-codes/I28060 606 $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aOperating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14045 615 0$aData encryption (Computer science). 615 0$aComputer engineering. 615 0$aComputer security. 615 0$aSpecial purpose computers. 615 0$aComputer communication systems. 615 0$aOperating systems (Computers). 615 14$aCryptology. 615 24$aComputer Engineering. 615 24$aSystems and Data Security. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aComputer Communication Networks. 615 24$aOperating Systems. 676 $a005.13/3 702 $aAttali$b Isabelle$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aJensen$b Thomas$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Conference on Research in Smart Cards 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910143628003321 996 $aSmart Card Programming and Security$91980335 997 $aUNINA