Evaluation of anonymity and confidentiality protocols using theorem proving
From MaRDI portal
Publication:5962971
DOI10.1007/s10703-015-0232-5zbMath1331.68028MaRDI QIDQ5962971
Tarek Mhamdi, Osman Hasan, Sofiène Tahar
Publication date: 25 February 2016
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10703-015-0232-5
68P25: Data encryption (aspects in computer science)
94A15: Information theory (general)
68M12: Network protocols
Uses Software