[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[GNUnet-SVN] [taler-exchange] branch master updated (13bbd32 -> 3efde62)
From: |
gnunet |
Subject: |
[GNUnet-SVN] [taler-exchange] branch master updated (13bbd32 -> 3efde62) |
Date: |
Tue, 16 May 2017 16:43:17 +0200 |
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
- [GNUnet-SVN] [taler-exchange] branch master updated (13bbd32 -> 3efde62),
gnunet <=