Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Barthe, Gilles (Editor ), Gregoire, Benjamin (Editor ), Huisman, Marieke (Editor ), Lanet, Jean-Luis (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edición:1st ed. 2006.
Colección:Security and Cryptology ; 3956
Temas:
Software engineering.
Computers, Special purpose.
Computer programming.
Compilers (Computer programs).
Operating systems (Computers).
Computer science.
Software Engineering.
Special Purpose and Application-Based Systems.
Programming Techniques.
Compilers and Interpreters.
Operating Systems.
Computer Science Logic and Foundations of Programming.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • The Architecture of a Privacy-Aware Access Control Decision Component
  • Mobile Resource Guarantees and Policies
  • Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks
  • Romization: Early Deployment and Customization of Java Systems for Constrained Devices
  • Typed Compilation Against Non-manifest Base Classes
  • The Design of Application-Tailorable Operating System Product Lines
  • Bringing Ease and Adaptability to MPSoC Software Design: A Component-Based Approach
  • Modular Proof Principles for Parameterised Concretizations
  • Formalisation and Verification of the GlobalPlatform Card Specification Using the B Method.

Ejemplares similares