A Framework for Dependability Consensus Building and In-Operation AssuranceComparative Analysis of Voting Schemes for Ensemble-based Malware DetectionSecuring a Space-Based Service Architecture with Coordination-Driven Access ControlDesign and Formal Analysis of A Group Signature Based Electronic Toll Pricing SystemForward-Secure Identity-Based Signature: New Generic Constructions and Their ApplicationsFrom Computationally-Proved Protocol Specifications to Implementations and Application to SSHGuest Editorial: Frontiers in Security and DependabilityExtraction of Platform-unique Information as an IdentifierPKI Based Signcryption without Pairing: an Efficient Scheme with Tight Security ReductionA New Efficient Verifiable Fuzzy Keyword Search Scheme