LEADER 04242nam  22008295  450 
001 9910143597103321
005 20200702121438.0
010   $a3-540-45165-X
024 7 $a10.1007/3-540-45165-X
035   $a(CKB)1000000000211485
035   $a(SSID)ssj0000324214
035   $a(PQKBManifestationID)11224788
035   $a(PQKBTitleCode)TC0000324214
035   $a(PQKBWorkID)10304218
035   $a(PQKB)10257852
035   $a(DE-He213)978-3-540-45165-5
035   $a(MiAaPQ)EBC3073035
035   $a(PPN)155235621
035   $a(EXLCZ)991000000000211485
100   $a20121227d2001      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aJava on Smart Cards: Programming and Security $eFirst International Workshop, JavaCard 2000 Cannes, France, September 14, 2000 Revised Papers /$fedited by Isabelle Attali, Thomas Jensen
205   $a1st ed. 2001.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2001.
215   $a1 online resource (X, 166 p.) 
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2041
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-42167-X 
320   $aIncludes bibliographical references at the end of each chapters and index.
327   $aInvited Talk -- Formal Methods in Context: Security and Java Card -- Contributed Papers -- A Dynamic Logic for the Formal Verification ofJava Card Programs -- The PACAP Prototype: A Tool for Detecting Java Card Illegal Flow -- CardKt: Automated Multi-modal Deduction on Java Cards for Multi-application Security -- A Programming and a Modelling Perspective on the Evaluation of Java Card Implementations -- Secure Internet Smartcards -- Issues in Smartcard Middleware -- Open Platfom Security -- A Simple(r) Interface Distribution Mechanism for Java Card -- Automatic Test Generation for Java Card Applets -- Formal Specification and Verification of Java Card?s Application Identifier Class -- Security on Your Hand: Secure Filesystems with a ?Non-cryptographic? JAVA-Ring.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v2041
606   $aComputer programming
606   $aComputer communication systems
606   $aOperating systems (Computers)
606   $aSpecial purpose computers
606   $aData encryption (Computer science)
606   $aManagement information systems
606   $aComputer science
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
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
606   $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030
606   $aCryptology$3https://scigraph.springernature.com/ontologies/product-market-codes/I28020
606   $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067
615  0$aComputer programming.
615  0$aComputer communication systems.
615  0$aOperating systems (Computers).
615  0$aSpecial purpose computers.
615  0$aData encryption (Computer science).
615  0$aManagement information systems.
615  0$aComputer science.
615 14$aProgramming Techniques.
615 24$aComputer Communication Networks.
615 24$aOperating Systems.
615 24$aSpecial Purpose and Application-Based Systems.
615 24$aCryptology.
615 24$aManagement of Computing and Information 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$aJavaCard 2000
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910143597103321
996   $aJava on Smart Cards: Programming and Security$92088800
997   $aUNINA