scientific article
From MaRDI portal
Publication:2754157
zbMath0973.94517MaRDI QIDQ2754157
Roberto Gorrieri, Fabio Martinelli, Riccardo Focardi
Publication date: 9 December 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (19)
Dynamics Security Policies and Process Opacity for Timed Process Algebras ⋮ Decidability issues for extended ping-pong protocols ⋮ A general language-based framework for specifying and verifying notions of opacity ⋮ Checking noninterference in timed CSP ⋮ Unnamed Item ⋮ Persistent Stochastic Non-Interference ⋮ Reachability results for timed automata with unbounded data structures ⋮ Weakening the perfect encryption assumption in Dolev-Yao adversaries ⋮ The security pi-calculus and non-interference ⋮ Linearity and bisimulation ⋮ A Formalization of Credit and Responsibility Within the GNDC Schema ⋮ Techniques for Security Checking ⋮ Formal Models of Timing Attacks on Web Privacy ⋮ Formal models and analysis of secure multicast in wired and wireless networks ⋮ Gaining trust by tracing security protocols ⋮ Analysis of security protocols as open systems ⋮ A comparison of three authentication properties. ⋮ Primitives for authentication in process algebras. ⋮ Noninterference for concurrent programs and thread systems
This page was built for publication: