scientific article; zbMATH DE number 1500645

From MaRDI portal

Publication:4501667

Jump to:navigation, search

zbMath0983.94511MaRDI QIDQ4501667

Martín Abadi, Georges Gonthier, Cédric Fournet

Publication date: 4 September 2000

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

zbMATH Keywords

cryptographic primitives cryptographic protocols design of secure distributed implementations high-level process calculi

Mathematics Subject Classification ID

Cryptography (94A60) Data encryption (aspects in computer science) (68P25)

Related Items (1)

Secure implementation of channel abstractions

This page was built for publication:

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