Coverart for item
The Resource Java on smart cards : programming and security : first international workshop, JavaCard 2000, Cannes, France, September 14, 2000 : revised papers, Isabelle Attali, Thomas Jensen (eds.)

Java on smart cards : programming and security : first international workshop, JavaCard 2000, Cannes, France, September 14, 2000 : revised papers, Isabelle Attali, Thomas Jensen (eds.)

Label
Java on smart cards : programming and security : first international workshop, JavaCard 2000, Cannes, France, September 14, 2000 : revised papers
Title
Java on smart cards
Title remainder
programming and security : first international workshop, JavaCard 2000, Cannes, France, September 14, 2000 : revised papers
Statement of responsibility
Isabelle Attali, Thomas Jensen (eds.)
Title variation
JavaCard 2000
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
DLC
Dewey number
005.13/3
Illustrations
illustrations
Index
index present
LC call number
QA76.73.J38
LC item number
J3635 2000
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2000
http://bibfra.me/vocab/lite/meetingName
JavaCard 2000
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Attali, Isabelle
  • Jensen, Thomas
Series statement
Lecture notes in computer science,
Series volume
2041
http://library.link/vocab/subjectName
Java (Computer program language)
Label
Java on smart cards : programming and security : first international workshop, JavaCard 2000, Cannes, France, September 14, 2000 : revised papers, Isabelle Attali, Thomas Jensen (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Formal methods in context / D. Bolignano, D. Le Metayer and C. Loiseaux -- Dynamic logic for the formal verification of java card programs / Bernhard Beckert -- PACAP prototype / P. Bieber [and others] -- CardKt / Rajeev Gore and Lan Duy Nguyen -- Programming and a modelling perspective on the evaluation of java card implementations / Pieter H. Hartel and Eduard de Jong -- Secure internet smartcards / Naomaru Itoi, Tomoko Fukuzawa and Peter Honeyman -- Issues in smartcard middleware / Roger Kehr, Michael Rohs and Harald Vogt -- Open platform security / Marc Kekicheff, Forough Kashef and David Brewer -- Simple(r) interface distribution mechanism for java card / Ksheerabedhi Krishna and Michael Montgomery -- Automatic test generation for java card applets / Hugues Martin and Lydie du Bousquet -- Formal specification and verification of java card's application identifier class / Joachim van den Berg, Bart Jacobs and Erik Poll -- Security on you hand / Rudiger Weis, Bastiaan Bakker and Stefan Lucks
Control code
46937665
Dimensions
24 cm
Extent
x, 162 pages
Isbn
9783540421672
Isbn Type
(pbk. : alk. paper)
Lccn
2001034204
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Label
Java on smart cards : programming and security : first international workshop, JavaCard 2000, Cannes, France, September 14, 2000 : revised papers, Isabelle Attali, Thomas Jensen (eds.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Formal methods in context / D. Bolignano, D. Le Metayer and C. Loiseaux -- Dynamic logic for the formal verification of java card programs / Bernhard Beckert -- PACAP prototype / P. Bieber [and others] -- CardKt / Rajeev Gore and Lan Duy Nguyen -- Programming and a modelling perspective on the evaluation of java card implementations / Pieter H. Hartel and Eduard de Jong -- Secure internet smartcards / Naomaru Itoi, Tomoko Fukuzawa and Peter Honeyman -- Issues in smartcard middleware / Roger Kehr, Michael Rohs and Harald Vogt -- Open platform security / Marc Kekicheff, Forough Kashef and David Brewer -- Simple(r) interface distribution mechanism for java card / Ksheerabedhi Krishna and Michael Montgomery -- Automatic test generation for java card applets / Hugues Martin and Lydie du Bousquet -- Formal specification and verification of java card's application identifier class / Joachim van den Berg, Bart Jacobs and Erik Poll -- Security on you hand / Rudiger Weis, Bastiaan Bakker and Stefan Lucks
Control code
46937665
Dimensions
24 cm
Extent
x, 162 pages
Isbn
9783540421672
Isbn Type
(pbk. : alk. paper)
Lccn
2001034204
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations

Library Locations

    • Thomas Jefferson LibraryBorrow it
      1 University Blvd, St. Louis, MO, 63121, US
      38.710138 -90.311107
Processing Feedback ...