1 option
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices : 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.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- LNCS sublibrary. Security and cryptology ; SL 4, 3362.
- Security and Cryptology ; 3362
- Language:
- English
- Subjects (All):
- Data encryption (Computer science).
- Software engineering.
- Computers, Special purpose.
- Computer programming.
- Programming languages (Electronic computers).
- Operating systems (Computers).
- Cryptology.
- Software Engineering.
- Special Purpose and Application-Based Systems.
- Programming Techniques.
- Programming Languages, Compilers, Interpreters.
- Operating Systems.
- Local Subjects:
- Cryptology.
- Software Engineering.
- Special Purpose and Application-Based Systems.
- Programming Techniques.
- Programming Languages, Compilers, Interpreters.
- Operating Systems.
- Physical Description:
- 1 online resource (IX, 258 pages).
- Edition:
- First edition 2005.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
- System Details:
- text file PDF
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-30569-9
- 9783540305699
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.