scientific article; zbMATH DE number 1487854
From MaRDI portal
zbMath0949.68065MaRDI QIDQ4494379
Publication date: 11 December 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Alternating two-way AC-tree automata, Efficient representation of the attacker's knowledge in cryptographic protocols analysis, Transducer-based analysis of cryptographic protocols, Abstraction and resolution modulo AC: How to verify Diffie--Hellman-like protocols automatically, A static analysis of cryptographic processes: the denotational approach, Information based reasoning about security protocols, On the symbolic reduction of processes with cryptographic functions.