Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Safety

Editors' Preface

Journal of Computer Security

Computer Networks

English

Process Algebra and Non-Interference

Journal of Computer Security

Computer Networks

English

Parity-Based Inference Control for Multi-Dimensional Range Sum Queries

Journal of Computer Security

Computer Networks

English

Leak-Free Mediated Group Signatures1

Journal of Computer Security

Computer Networks

English

Key-Dependent Message Security Under Active Attacks – BRSIM/UC-soundness of Dolev–Yao-Style Encryption With Key Cycles

Journal of Computer Security

Computer Networks

English

Cardinality-Based Inference Control in Data Cubes*

Journal of Computer Security

Computer Networks

English

Formal Specification and Analysis of the Group Domain of Interpretation Protocol Using NPATRL and the NRL Protocol Analyzer

Journal of Computer Security

Computer Networks

English

Enhancing Profiles for Anomaly Detection Using Time Granularities1

Journal of Computer Security

Computer Networks

English

First-Order Verification of Cryptographic Protocols

Journal of Computer Security

Computer Networks

English

Secrecy for Bounded Security Protocols With Freshness Check Is NEXPTIME-complete*

Journal of Computer Security

Computer Networks

English