Engineering Secure Software and Systems
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Application-Replay Attack on Java Cards: When the Garbage Collector Gets Confused
-
Altmetric BadgeChapter 2 Supporting the Development and Documentation of ISO 27001 Information Security Management Systems through Security Requirements Engineering Approaches
-
Altmetric BadgeChapter 3 Typed Assembler for a RISC Crypto-Processor
-
Altmetric BadgeChapter 4 Transversal Policy Conflict Detection
-
Altmetric BadgeChapter 5 Challenges in Implementing an End-to-End Secure Protocol for Java ME-Based Mobile Data Collection in Low-Budget Settings
-
Altmetric BadgeChapter 6 Runtime Enforcement of Information Flow Security in Tree Manipulating Processes
-
Altmetric BadgeChapter 7 Formalisation and Implementation of the XACML Access Control Mechanism
-
Altmetric BadgeChapter 8 A Task Ordering Approach for Automatic Trust Establishment
-
Altmetric BadgeChapter 9 An Idea of an Independent Validation of Vulnerability Discovery Models
-
Altmetric BadgeChapter 10 A Sound Decision Procedure for the Compositionality of Secrecy
-
Altmetric BadgeChapter 11 Plagiarizing Smartphone Applications: Attack Strategies and Defense Techniques
-
Altmetric BadgeChapter 12 Design of Adaptive Security Mechanisms for Real-Time Embedded Systems
-
Altmetric BadgeChapter 13 Hunting Application-Level Logical Errors
-
Altmetric BadgeChapter 14 Optimal Trust Mining and Computing on Keyed MapReduce