Computer-assisted verification of a protocol for certified email
From MaRDI portal
Publication:2568441
DOI10.1016/J.SCICO.2005.02.002zbMath1076.68532OpenAlexW4298899321WikidataQ60530253 ScholiaQ60530253MaRDI QIDQ2568441
Publication date: 10 October 2005
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.scico.2005.02.002
Related Items (1)
This page was built for publication: Computer-assisted verification of a protocol for certified email