04242nam 22008295 450 991014359710332120200702121438.03-540-45165-X10.1007/3-540-45165-X(CKB)1000000000211485(SSID)ssj0000324214(PQKBManifestationID)11224788(PQKBTitleCode)TC0000324214(PQKBWorkID)10304218(PQKB)10257852(DE-He213)978-3-540-45165-5(MiAaPQ)EBC3073035(PPN)155235621(EXLCZ)99100000000021148520121227d2001 u| 0engurnn|008mamaatxtccrJava on Smart Cards: Programming and Security First International Workshop, JavaCard 2000 Cannes, France, September 14, 2000 Revised Papers /edited by Isabelle Attali, Thomas Jensen1st ed. 2001.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2001.1 online resource (X, 166 p.) Lecture Notes in Computer Science,0302-9743 ;2041Bibliographic Level Mode of Issuance: Monograph3-540-42167-X Includes bibliographical references at the end of each chapters and index.Invited 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.Lecture Notes in Computer Science,0302-9743 ;2041Computer programmingComputer communication systemsOperating systems (Computers)Special purpose computersData encryption (Computer science)Management information systemsComputer scienceProgramming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14045Special Purpose and Application-Based Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I13030Cryptologyhttps://scigraph.springernature.com/ontologies/product-market-codes/I28020Management of Computing and Information Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I24067Computer programming.Computer communication systems.Operating systems (Computers).Special purpose computers.Data encryption (Computer science).Management information systems.Computer science.Programming Techniques.Computer Communication Networks.Operating Systems.Special Purpose and Application-Based Systems.Cryptology.Management of Computing and Information Systems.005.13/3Attali Isabelleedthttp://id.loc.gov/vocabulary/relators/edtJensen Thomasedthttp://id.loc.gov/vocabulary/relators/edtJavaCard 2000MiAaPQMiAaPQMiAaPQBOOK9910143597103321Java on Smart Cards: Programming and Security2088800UNINA