scientific article; zbMATH DE number 1487854

From MaRDI portal

Revision as of 07:25, 7 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4494379

Jump to:navigation, search

zbMath0949.68065MaRDI QIDQ4494379

David Monniaux

Publication date: 11 December 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

regular tree languages abstract interpretation analysis cryptographic protocols

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Data encryption (aspects in computer science) (68P25)

Related Items (7)

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.

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4494379&oldid=18580325"