Custom cover image
Custom cover image

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3956) : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers / edited by Gilles Barthe, Benj

Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Lecture notes in computer science ; 3956Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Description: Online-Ressource (IX, 175 p. Also available online, digital)ISBN:
  • 9783540336914
Subject(s): Genre/Form: Additional physical formats: 9783540336891 | Buchausg. u.d.T.: Construction and analysis of safe, secure, and interoperable smart devices. Berlin : Springer, 2006. VI, 173 S.DDC classification:
  • 006
  • 005.1
  • 004 620
LOC classification:
  • QA76.758
  • TK7895.M4
  • MLCM 2006/41051 (T)
DOI: DOI: 10.1007/11741060Online resources: Summary: 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.PPN: PPN: 1646675215Package identifier: Produktsigel: ZDB-2-LNC | ZDB-2-SCS | ZDB-2-SXCS | ZDB-2-SEB
No physical items for this record
KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT