A Computational Indistinguishability Logic for the Bounded Storage Model
From MaRDI portal
Publication:2889822
DOI10.1007/978-3-642-27901-0_9zbMath1302.94035OpenAlexW2100902610MaRDI QIDQ2889822
Gilles Barthe, Mathilde Duclos, Yassine Lakhneche
Publication date: 8 June 2012
Published in: Foundations and Practice of Security (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-27901-0_9