scientific article; zbMATH DE number 1962756

zbMath1033.94557MaRDI QIDQ4418586

Martín Abadi, Cédric Fournet

Publication date: 11 August 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2609/26090317.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 (3)

Private authentication ⋮ A pure labeled transition semantics for the applied pi calculus ⋮ Models and emerging trends of concurrent constraint programming

This page was built for publication: