scientific article; zbMATH DE number 1746674
From MaRDI portal
Publication:4530846
zbMath0986.68510MaRDI QIDQ4530846
Publication date: 9 June 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cryptography (94A60) Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) (68P30) Authentication, digital signatures and secret sharing (94A62)
Related Items
Formal analysis of Kerberos 5 ⋮ Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types ⋮ Relating State-Based and Process-Based Concurrency through Linear Logic ⋮ Rule-based static analysis of network protocol implementations ⋮ Breaking and fixing public-key Kerberos ⋮ Typed Multiset Rewriting Specifications of Security Protocols ⋮ Multiset rewriting for the verification of depth-bounded processes with name binding ⋮ Pattern-matching spi-calculus ⋮ Relating state-based and process-based concurrency through linear logic (full-version)
