Guest Editorial: Frontiers in Security and Dependability
From Computationally-Proved Protocol Specifications to Implementations and Application to SSH
Forward-Secure Identity-Based Signature: New Generic Constructions and Their Applications
Design and Formal Analysis of A Group Signature Based Electronic Toll Pricing System
Securing a Space-Based Service Architecture with Coordination-Driven Access Control
Comparative Analysis of Voting Schemes for Ensemble-based Malware Detection
A Framework for Dependability Consensus Building and In-Operation Assurance
Evidence and Cloud Computing: The Virtual Machine Introspection Approach