Secure Communicating Systems
From MaRDI portal
Publication:4406530
DOI10.1017/CBO9781139164870zbMath1057.68612OpenAlexW4247448824MaRDI QIDQ4406530
Publication date: 25 June 2003
Full work available at URL: https://doi.org/10.1017/cbo9781139164870
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Data encryption (aspects in computer science) (68P25)
Related Items (2)
A formalized general theory of syntax with bindings ⋮ A formalized general theory of syntax with bindings: extended version
This page was built for publication: Secure Communicating Systems