English
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Mobile Resource Guarantees for Smart Devices
-
Altmetric BadgeChapter 2 History-Based Access Control and Secure Information Flow
-
Altmetric BadgeChapter 3 The Spec# Programming System: An Overview
-
Altmetric BadgeChapter 4 Mastering Test Generation from Smart Card Software Formal Models
-
Altmetric BadgeChapter 5 A Mechanism for Secure, Fine-Grained Dynamic Provisioning of Applications on Small Devices
-
Altmetric BadgeChapter 6 ESC/Java2: Uniting ESC/Java and JML
-
Altmetric BadgeChapter 7 A Type System for Checking Applet Isolation in Java Card
-
Altmetric BadgeChapter 8 Verification of Safety Properties in the Presence of Transactions
-
Altmetric BadgeChapter 9 Modelling Mobility Aspects of Security Policies
-
Altmetric BadgeChapter 10 Smart Devices for Next Generation Mobile Services
-
Altmetric BadgeChapter 11 A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking
-
Altmetric BadgeChapter 12 Combining Several Paradigms for Circuit Validation and Verification
-
Altmetric BadgeChapter 13 Smart Card Research Perspectives
Altmetric Badge
Citations
- dimensions_citation
- 9 Dimensions
Readers on
- mendeley
- 29 Mendeley
- citeulike
- 1 CiteULike