Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Springer Berlin (Verlag)
978-3-540-24287-1 (ISBN)
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.
Erscheint lt. Verlag | 21.1.2005 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science | Security and Cryptology |
Zusatzinfo | IX, 258 p. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 386 g |
Themenwelt | Informatik ► Theorie / Studium ► Kryptologie |
Schlagworte | Access Control • circuit validation • ESC/Java2 • Formal Method • formal methods • Formal Verification • Java • Mobile Security • mobile service security • Model Checking • Modeling • operating system • safety verification • secure platforms • security • Security Policies • Smart cards • Smart Devices • Systems Security • verification • Virtual machine |
ISBN-10 | 3-540-24287-2 / 3540242872 |
ISBN-13 | 978-3-540-24287-1 / 9783540242871 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich