Construction and Analysis of Safe, Secure, and Interoperable Smart Devices [electronic resource] :International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers / edited by Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean.
by Barthe, Gilles [editor.]; Burdy, Lilian [editor.]; Huisman, Marieke [editor.]; Lanet, Jean-Louis [editor.]; Muntean, Traian [editor.]; SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science: 3362Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Description: IX, 258 p. Also available online. online resource.ISBN: 9783540305699.Subject(s): Computer science | Software engineering | Operating systems (Computers) | Logic design | Computer Science | Software Engineering | Special Purpose and Application-Based Systems | Programming Techniques | Programming Languages, Compilers, Interpreters | Operating Systems | Logics and Meanings of ProgramsDDC classification: 005.1 Online resources: Click here to access online | Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| MAIN LIBRARY | QA76.758 (Browse shelf) | Available |
Browsing MAIN LIBRARY Shelves Close shelf browser
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.
This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2004, held in Marseille, France in March 2004. The 13 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers are devoted to trends in smart card research, operating systems and virtual machine technologies, secure platforms, security, application validation, verification, and formal modeling and formal methods.
There are no comments for this item.