Design and formal analysis of certified E-mail protocol

DOI10.3724/SP.J.1087.2008.01928zbMath1175.68061OpenAlexW2021747767MaRDI QIDQ3646603

Daiyuan Peng, Yue-Xiang Gao

Publication date: 22 November 2009

Published in: Journal of Computer Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3724/sp.j.1087.2008.01928

zbMATH Keywords

fairnessformal analysisnon-repudiationcertified E-mail protocolKailar logic

Mathematics Subject Classification ID

Network protocols (68M12)

This page was built for publication: Design and formal analysis of certified E-mail protocol