Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008764787/catalog> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- catalog contributor b12284031.
- catalog contributor b12284032.
- catalog contributor b12284033.
- catalog contributor b12284034.
- catalog created "c2001.".
- catalog date "2001".
- catalog date "c2001.".
- catalog dateCopyrighted "c2001.".
- catalog description "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.".
- catalog description "Includes bibliographical references.".
- catalog extent "x, 162 p. :".
- catalog identifier "354042167X (pbk. : alk. paper)".
- catalog isPartOf "Lecture notes in computer science ; 2041".
- catalog issued "2001".
- catalog issued "c2001.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog subject "005.13/3 21".
- catalog subject "Java (Computer program language)".
- catalog subject "QA76.73.J38 J3635 2000".
- catalog tableOfContents "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.".
- catalog title "Java on smart cards : programming and security : first international workshop, JavaCard 2000, Cannes, France, September 14, 2000 : revised papers / Isabelle Attali, Thomas Jensen (eds.).".
- catalog type "Cannes (2000) swd".
- catalog type "text".