scientific article; zbMATH DE number 1487487
From MaRDI portal
Publication:4493894
zbMath0972.94042MaRDI QIDQ4493894
Fabio Martinelli, Riccardo Focardi
Publication date: 25 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Data encryption (aspects in computer science) (68P25) Authentication, digital signatures and secret sharing (94A62)
Related Items (10)
Injective synchronisation: An extension of the authentication hierarchy ⋮ Unnamed Item ⋮ A Formalization of Credit and Responsibility Within the GNDC Schema ⋮ Bisimulation-based Non-deterministic Admissible Interference and its Application to the Analysis of Cryptographic Protocols ⋮ Techniques for Security Checking ⋮ Formal models and analysis of secure multicast in wired and wireless networks ⋮ Analysis of security protocols as open systems ⋮ A comparison of three authentication properties. ⋮ Quantifying Probabilistic Information Flow in Computational Reactive Systems ⋮ Primitives for authentication in process algebras.
This page was built for publication:
