Coverart for item
The Resource Construction and analysis of safe, secure, and interoperable smart devices : international workshop, CASSIS 2004, Marseille, France, March 10-14, 2004 : revised selected papers, Gilles Barthe [and others] (eds.)

Construction and analysis of safe, secure, and interoperable smart devices : international workshop, CASSIS 2004, Marseille, France, March 10-14, 2004 : revised selected papers, Gilles Barthe [and others] (eds.)

Label
Construction and analysis of safe, secure, and interoperable smart devices : international workshop, CASSIS 2004, Marseille, France, March 10-14, 2004 : revised selected papers
Title
Construction and analysis of safe, secure, and interoperable smart devices
Title remainder
international workshop, CASSIS 2004, Marseille, France, March 10-14, 2004 : revised selected papers
Statement of responsibility
Gilles Barthe [and others] (eds.)
Title variation
CASSIS 2004
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
GW5XE
Dewey number
332.1/78
Illustrations
illustrations
Index
index present
LC call number
TK7895.S62
LC item number
C377 2004eb
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingName
CASSIS (Conference)
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1967-
http://library.link/vocab/relatedWorkOrContributorName
Barthe, Gilles
Series statement
  • Lecture notes in computer science,
  • Hot topics
Series volume
3362
http://library.link/vocab/subjectName
  • Smart cards
  • Data transmission systems
  • Informatique
  • Data transmission systems
  • Smart cards
  • Carte à mémoire
  • Sécurité informatique
  • Système intelligent
  • Téléinformatique
Label
Construction and analysis of safe, secure, and interoperable smart devices : international workshop, CASSIS 2004, Marseille, France, March 10-14, 2004 : revised selected papers, Gilles Barthe [and others] (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Mobile Resource Guarantees for Smart Devices -- History-Based Access Control and Secure Information Flow -- The Spec# Programming System: An Overview -- Mastering Test Generation from Smart Card Software Formal Models -- A Mechanism for Secure, Fine-Grained Dynamic Provisioning of Applications on Small Devices -- ESC/Java2: Uniting ESC/Java and JML -- A Type System for Checking Applet Isolation in Java Card -- Verification of Safety Properties in the Presence of Transactions -- Modelling Mobility Aspects of Security Policies -- Smart Devices for Next Generation Mobile Services -- A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking -- Combining Several Paradigms for Circuit Validation and Verification -- Smart Card Research Perspectives
Control code
262677871
Dimensions
unknown
Extent
1 online resource (vi, 256 pages)
Form of item
online
Isbn
9783540305699
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
9783540242871
Other physical details
illustrations.
http://library.link/vocab/ext/overdrive/overdriveId
978-3-540-24287-1
Specific material designation
remote
System control number
(OCoLC)262677871
Label
Construction and analysis of safe, secure, and interoperable smart devices : international workshop, CASSIS 2004, Marseille, France, March 10-14, 2004 : revised selected papers, Gilles Barthe [and others] (eds.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Mobile Resource Guarantees for Smart Devices -- History-Based Access Control and Secure Information Flow -- The Spec# Programming System: An Overview -- Mastering Test Generation from Smart Card Software Formal Models -- A Mechanism for Secure, Fine-Grained Dynamic Provisioning of Applications on Small Devices -- ESC/Java2: Uniting ESC/Java and JML -- A Type System for Checking Applet Isolation in Java Card -- Verification of Safety Properties in the Presence of Transactions -- Modelling Mobility Aspects of Security Policies -- Smart Devices for Next Generation Mobile Services -- A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking -- Combining Several Paradigms for Circuit Validation and Verification -- Smart Card Research Perspectives
Control code
262677871
Dimensions
unknown
Extent
1 online resource (vi, 256 pages)
Form of item
online
Isbn
9783540305699
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
9783540242871
Other physical details
illustrations.
http://library.link/vocab/ext/overdrive/overdriveId
978-3-540-24287-1
Specific material designation
remote
System control number
(OCoLC)262677871

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...