Muutke küpsiste eelistusi

E-raamat: Smart Card Programming and Security: International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001. Proceedings

Edited by , Edited by
  • Formaat: PDF+DRM
  • Sari: Lecture Notes in Computer Science 2140
  • Ilmumisaeg: 06-Aug-2003
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Keel: eng
  • ISBN-13: 9783540454182
  • Formaat - PDF+DRM
  • Hind: 55,56 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
  • Formaat: PDF+DRM
  • Sari: Lecture Notes in Computer Science 2140
  • Ilmumisaeg: 06-Aug-2003
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Keel: eng
  • ISBN-13: 9783540454182

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

The E-smart 2001 international conference on research in smart cards was held in Cannes, France on 19-21 September. The conference was jointlyorganized bythe Java Card Forum, Eurosmart and INRIA, and received helpful ?nancial support from the Conseil R'egional Provence-Alpes-Cote d'Azur. The intention with E-smart is to provide a forum for discussion and exchange of results on smart card development, security, and applications. This year's p- gram was established byan international program committee that examined 38 papers submitted and selected 20 of these for presentation. The list of topics of this year's presentations includes biometrics, cryptography and electronic sig- tures on smart cards, hardware and software solution for smart card security, formal methods for smart card evaluation and certi cation, architectures for multi-applications and secure open platforms, middleware for smart cards and novel applications of smart cards. The conference also featured an invited talk bySimon Moore from the Universityof Cambridge. Isabelle Attali Thomas Jensen E-smart 2001 program committee co-chairs. Organization Program Committee Isabelle Attali, INRIA Dominique Bolignano, Trusted Logic Bertrand du Castel, Schlumberger Wolfgang E ng, Giesecke & Devrient Christian Goire, Bull CP8 Pieter Hartel, Universityof Twente Peter Honeyman, University of Michigan Thomas Jensen, IRISA / CNRS Pierre Paradinas, Gemplus Joachim Posegga, SAP AG Peter Ryan, CERT Jean-Paul Thomasson, ST Microelectronics Yasuyoshi Uemura, ECSEC Thanks are due to the following people for their help with the refereeing of papers: Thomas Genet, Valerie Viet Triem Tong, Stefan Friedich, Harald Vogt, Jaap-Henk Hoepman, Neil Henderson, Adam Field, and Jordan Chong.

Muu info

Springer Book Archives
Invited Talk Protecting Consumer Security Devices (The Next 10 Years) 1(1) Simon Moore Contributed Papers Jakarta: A Toolset for Reasoning about JavaCard 2(17) G. Barthe G. Dufay M. Huisman S. Melo de Sousa Mechanising a Protocol for Smart Cards 19(15) Giampaolo Bella JCCM: Flexible Certificates for Smartcards with Java Card 34(9) Celeste Campo Andres Marm Arturo Garcia Ignacio Diaz Peter T. Breuer Carlos Delgado Carlos Garcia Context Inference for Static Analysis of Java Card Object Sharing 43(15) Denis Caromel Ludovic Henrio Bernard Serpette Automated Test and Oracle Generation for Smart-Card Applications 58(13) Duncan Clarke Thierry Jeron Vlad Rusu Elena Zinovieva An Internet Authorization Scheme Using Smart-Card-Based Security Kernels 71(12) Yues Deswarte Noreddine Abghour Vincent Nicomette David Powell Turning Multi-applications Smart Cards Services Available from Anywhere at Anytime: A SOAP/MOM Approach in the Context of Java Cards 83(12) Didier Donsez Sebastien Jean Sylvain Lecomte Olivier Thomas An Operational Semantics of the Java Card Firewall 95(16) Marc Eluard Thomas Jensen Ewen Denne CardS4: Modal Theorem Proving on Java Smartcards 111(13) Rajeev Prabhakar Gore Phuong The Nguyen iButton Enrolment and Verification Requirements for the Pressure Sequence Smartcard Biometric 124(11) Neil J. Henderson Neil M. White Pieter H. Hartel SIMspeak - Towards an Open and Secure Application Platform for GSM SIMs 135(15) Roger Kehr Hendrik Mieves On-Card Bytecode Verification for Java Card 150(15) Xavier Leroy Towards a Full Formal Specification of the JavaCard API 165(14) Hans Meijer Erik Poll Protection Profiles and Generic Security Targets for Smart Cards as Secure Signature Creation Devices - Existing Solutions for the Payment Sector 179(9) Gisela Meister Michael Vogel A Flexible Invocation Framework for Java Card 188(12) Michael Montgomery Ksheerabdhi Krishna ElectroMagnetic Analysis (EMA): Measures and Counter-Measures for Smart Cards 200(11) Jean-Jacques Quisquater David Samyde Information Leakage Attacks against Smart Card Implementations of the Elliptic Curve Digital Signature Algorithm 211(9) Tanja Romer Jean-Pierre Seifert Use of Biometrics for User Verification in Electronic Signature Smartcards 220(8) Bruno Struif Programming Internet Smartcard with XML Scripts 228(14) Pascal Urien Public-Key-Based High-Speed Payment (Electronic Money) System Using Contact-Less Smart Cards 242(13) Hideo Yamamoto Tetsutaro Kobayashi Masahiro Morita Ryuji Yamada Author Index 255