Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
Herstellerkennzeichnung
Die Herstellerinformationen sind derzeit nicht verfügbar.
Autorenporträt
Gilles Barthe, INRIA Sophia-Antipolis, France / Lilian Burdy, INRIA Sophia-Antipolis, France / Marieke Huisman, INRIA Sophia-Antipolis, France / Jean-Louis Lanet, INRIA Sophia-Antipolis, France / Traian Muntean, Université de la Méditerranée, France
Inhaltsangabe
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.
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.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497
USt-IdNr: DE450055826
