scientific article; zbMATH DE number 2112166
From MaRDI portal
Publication:4823626
zbMath1107.68430MaRDI QIDQ4823626
Publication date: 28 October 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Data encryption (aspects in computer science) (68P25) Specification and verification (program logics, model checking, etc.) (68Q60) Network protocols (68M12)
This page was built for publication: