Franklin

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.

Publication:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Format/Description:
Book
1 online resource (IX, 258 pages)
Edition:
1st ed. 2005.
Series:
Computer Science (Springer-11645)
LNCS sublibrary. Security and cryptology SL 4, 3362
Security and Cryptology ; 3362
Contained In:
Springer eBooks
Status/Location:
Loading...

Options
Location Notes Your Loan Policy

Details

Subjects:
Data encryption (Computer science).
Software engineering.
Computers, Special purpose.
Computer programming.
Programming languages (Electronic computers).
Operating systems (Computers).
Local subjects:
Cryptology. (search)
Software Engineering. (search)
Special Purpose and Application-Based Systems. (search)
Programming Techniques. (search)
Programming Languages, Compilers, Interpreters. (search)
Operating Systems. (search)
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.
Contributor:
Barthe, Gilles. editor., Editor,
Burdy, Lilian. editor., Editor,
Huisman, Marieke, editor., Editor,
Lanet, Jean-Louis, editor., Editor,
Muntean, Traian, editor., Editor,
SpringerLink (Online service)
Other format:
Printed edition:
Printed edition:
ISBN:
978-3-540-30569-9
9783540305699
Publisher Number:
10.1007/b105030 doi
Access Restriction:
Restricted for use by site license.