The layered games framework for specifications and analysis of security protocols
From MaRDI portal
Publication:1001686
DOI10.1504/IJACT.2008.021087zbMath1154.94397MaRDI QIDQ1001686
Publication date: 24 February 2009
Published in: International Journal of Applied Cryptography (Search for Journal in Brave)
distributed systemssecurityfoundationsattackselectronic commerceapplied cryptographycomposabilityfailureslayered games frameworklayered specificationssecure e-commerce layers
Related Items