[GNUnet-SVN] [taler-exchange] branch master updated (13bbd32 -> 3efde62)

[gnunet]

This is an automated email from the git hooks/post-receive script.

burdges pushed a change to branch master
in repository exchange.

    from 13bbd32  add cls file
     new 9b1cd4b  ro.bib -> rom.bib
     new 3efde62  Try to make this justification stronger and more precise

The 2 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "add" were already present in the repository and have only
been added to this reference.


Summary of changes:
 doc/paper/{ro.bib => rom.bib} | 18 ++++++++++++++++++
 doc/paper/taler.tex           | 13 +++++++++++--
 2 files changed, 29 insertions(+), 2 deletions(-)
 rename doc/paper/{ro.bib => rom.bib} (80%)

diff --git a/doc/paper/ro.bib b/doc/paper/rom.bib
similarity index 80%
rename from doc/paper/ro.bib
rename to doc/paper/rom.bib
index d85b2e8..cd41052 100644
--- a/doc/paper/ro.bib
+++ b/doc/paper/rom.bib
@@ -72,3 +72,21 @@
 }
 
 
+
+
address@hidden,
+  author="Abdalla, Michel and Bellare, Mihir",
+  editor="Okamoto, Tatsuaki",
+  title="Increasing the Lifetime of a Key: A Comparative Analysis of the 
Security of Re-keying Techniques",
+  bookTitle="Advances in Cryptology --- ASIACRYPT 2000: 6th International 
Conference on the Theory and Application of Cryptology and Information Security 
Kyoto, Japan, December 3--7, 2000 Proceedings",
+  year="2000",
+  publisher="Springer Berlin Heidelberg",
+  address="Berlin, Heidelberg",
+  pages="546--559",
+  isbn="978-3-540-44448-0",
+  doi="10.1007/3-540-44448-3_42",
+  doi_url="http://dx.doi.org/10.1007/3-540-44448-3_42";,
+  url="https://link.springer.com/chapter/10.1007/3-540-44448-3_42";
+}
+
+
diff --git a/doc/paper/taler.tex b/doc/paper/taler.tex
index 9acd05a..bdc60e1 100644
--- a/doc/paper/taler.tex
+++ b/doc/paper/taler.tex
@@ -1335,7 +1335,7 @@ exchange can even invent coins whole cloth.
 We may now remove the encrpytion by appealing to the random oracle
 model~\cite{BR-RandomOracles}.
 
-\begin{lemma}[\cite{??}]
+\begin{lemma}%[\cite{??}]
 Consider a protocol that commits to random data by encrypting it
 using a secret derived from a Diffe-Hellman key exchange.
 In the random oracle model, we may replace this encryption with
@@ -1345,6 +1345,11 @@ functions to the same secret.
 % TODO: Too general probably?
 % TODO: IND-CPA again?
 
+Indeed, we expect doing so to increase practical security as in
+\cite{Abdalla2000}, and adding the random oracle assumption need not
+reduce security if it focuses more attention on the usage of hash
+functions throughout the protocol.
+
 \begin{proof}
 We work with the usual instantiation of the random oracle model as
 returning a random string and placing it into a database for future
@@ -1356,6 +1361,10 @@ that we encrypt in the old encryption based version of 
Taler.
 Now our random oracle scheme with $R$ gives the same result as our
 scheme that encrypts random data, so the encryption becomes
 superfluous and may be omitted.
+
+We require the security of the original encryption operation reduced
+to the security of the Diffe-Hellman key exchange, which remains a
+requirement of the derived protocol.
 \end{proof}
 
 We may now conclude that Taler remains unlinkable even with the refresh 
protocol.
@@ -1665,7 +1674,7 @@ We thank people (anonymized).
 \newpage
 
 \bibliographystyle{ACM-Reference-Format}
-\bibliography{taler,rfc,ro}
+\bibliography{taler,rfc,rom}
 
 %\end{document}
 

-- 
To stop receiving notification emails like this one, please contact
address@hidden