Construction and Analysis of Safe, Secure, and Interoperable Smart Devices [[electronic resource] ] : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers / / edited by Gilles Barthe, Benjamin Gregoire, Marieke Huisman, Jean-Luis Lanet
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices [[electronic resource] ] : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers / / edited by Gilles Barthe, Benjamin Gregoire, Marieke Huisman, Jean-Luis Lanet
|
| Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Edizione: | 1st ed. 2006. |
| Descrizione fisica: | 1 online resource (X, 173 p.) |
| Disciplina: | 005.1 |
| Soggetto topico: | Software engineering |
| Special purpose computers | |
| Computer programming | |
| Programming languages (Electronic computers) | |
| Operating systems (Computers) | |
| Computer logic | |
| Software Engineering | |
| Special Purpose and Application-Based Systems | |
| Programming Techniques | |
| Programming Languages, Compilers, Interpreters | |
| Operating Systems | |
| Logics and Meanings of Programs | |
| Persona (resp. second.): | BartheGilles |
| GregoireBenjamin | |
| HuismanMarieke | |
| LanetJean-Luis | |
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Nota di bibliografia: | Includes bibliographical references and index. |
| Nota di contenuto: | 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. |
| Titolo autorizzato: | Construction and Analysis of Safe, Secure, and Interoperable Smart Devices |
| ISBN: | 3-540-33691-5 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996466163403316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Security and Cryptology ; ; 3956