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.
Material type: TextSeries: Lecture Notes in Computer Science ; 3362Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Description: IX, 258 p. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783540305699Subject(s): Computer science | Special purpose computers | Computer programming | Software engineering | Programming languages (Electronic computers) | Operating systems (Computers) | Data encryption (Computer science) | Computer Science | Data Encryption | Software Engineering | Special Purpose and Application-Based Systems | Programming Techniques | Programming Languages, Compilers, Interpreters | Operating SystemsAdditional physical formats: Printed edition:: No titleDDC classification: 005.82 LOC classification: QA76.9.A25Online resources: Click here to access onlineItem type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
e-Books | Bangalore University Library | Available | BUSP001657 |
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.
There are no comments on this title.