scientific article; zbMATH DE number 1962757

zbMath1033.94553MaRDI QIDQ4418587

Ran Canetti, Paul Syverson, Catherine A. Meadows

Publication date: 11 August 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2609/26090339.htm

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

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Authentication, digital signatures and secret sharing (94A62)

Related Items (4)

A framework for compositional verification of security protocols ⋮ Safely Composing Security Protocols ⋮ Safely composing security protocols ⋮ Protocol Composition Logic (PCL)

This page was built for publication: