Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/jcs/AdaoBHS09
%A Adão, Pedro
%A Bana, Gergei
%A Herzog, Jonathan
%A Scedrov, Andre
%D 2009
%J Journal of Computer Security
%K
%N 5
%P 737-797
%T Soundness and completeness of formal encryption: The cases of key cycles and partial information leakage.
%U http://dblp.uni-trier.de/db/journals/jcs/jcs17.html#AdaoBHS09
%V 17
@article{journals/jcs/AdaoBHS09,
added-at = {2023-12-13T02:29:02.000+0100},
author = {Adão, Pedro and Bana, Gergei and Herzog, Jonathan and Scedrov, Andre},
biburl = {https://www.bibsonomy.org/bibtex/2d15c3322e9ba9c3c249adca8bc427921/admin},
ee = {https://www.wikidata.org/entity/Q62568827},
interhash = {7fc7be17a02d7814c5515f49f956785b},
intrahash = {d15c3322e9ba9c3c249adca8bc427921},
journal = {Journal of Computer Security},
keywords = {},
number = 5,
pages = {737-797},
timestamp = {2023-12-13T02:29:02.000+0100},
title = {Soundness and completeness of formal encryption: The cases of key cycles and partial information leakage.},
url = {http://dblp.uni-trier.de/db/journals/jcs/jcs17.html#AdaoBHS09},
volume = 17,
year = 2009
}