diff options
| author |   trevnoise <noise@trevp.net> | 2017-05-15 20:24:39 +0000 |
|---|---|---|
| committer | trevnoise <noise@trevp.net> | 2017-05-15 20:24:39 +0000 |
| commit | b6f55dd55245fbadae3c87d98674b5462eeac254 (patch) | |
| tree | a6ce9476c67d7381f276c7ad3fae55a5df719f5c | |
| parent | Clarification from Alex (diff) | |
| download | noise-b6f55dd55245fbadae3c87d98674b5462eeac254.tar.xz noise-b6f55dd55245fbadae3c87d98674b5462eeac254.zip | |
Updated date
| -rw-r--r-- | noise.md | 4 | ||||
| -rw-r--r-- | output/noise.html | 6 | ||||
| -rw-r--r-- | output/noise.pdf | bin | 364135 -> 364198 bytes |
3 files changed, 5 insertions, 5 deletions
@@ -2,7 +2,7 @@ title: 'The Noise Protocol Framework' author: 'Trevor Perrin (noise@trevp.net)' revision: '32draft' -date: '2017-05-11' +date: '2017-05-15' bibliography: 'my.bib' link-citations: 'true' csl: 'ieee-with-url.csl' @@ -665,7 +665,7 @@ Handshake patterns must be **valid** in the following senses: 3. After performing a DH between a remote public key and any local private key that is not an ephemeral private key, the local party must not send any - encrypted data (i.e. it must not call `ENCRYPT()`) unless it has also + encrypted data (i.e. must not call `ENCRYPT()`) unless it has also performed a DH between an ephemeral private key and the remote public key. Patterns failing the first check are obviously nonsense. diff --git a/output/noise.html b/output/noise.html index a445d87..bbb0f57 100644 --- a/output/noise.html +++ b/output/noise.html @@ -5,7 +5,7 @@ <meta http-equiv="Content-Style-Type" content="text/css" /> <meta name="generator" content="pandoc" /> <meta name="author" content="Trevor Perrin (noise@trevp.net)" /> - <meta name="date" content="2017-05-11" /> + <meta name="date" content="2017-05-15" /> <title>The Noise Protocol Framework</title> <style type="text/css">code{white-space: pre;}</style> <link rel="stylesheet" href="spec_markdown.css" type="text/css" /> @@ -15,7 +15,7 @@ <h1 class="title">The Noise Protocol Framework</h1> <b>Author:</b> Trevor Perrin (noise@trevp.net)<br/> <b>Revision:</b> 32draft<br/> -<b>Date:</b> 2017-05-11<br/> +<b>Date:</b> 2017-05-15<br/> </div> <div id="TOC"> <h2 class="toc">Table of Contents</h2> @@ -356,7 +356,7 @@ <ol style="list-style-type: decimal"> <li><p>Parties can only send a static public key if they were initialized with a static key pair, and can only perform DH between private keys and public keys they possess.</p></li> <li><p>Parties must not send their static public key, or an ephemeral public key, more than once per handshake (i.e. including the pre-messages, there must be no more than one occurrence of "e", and one occurrence of "s", in the messages sent by any party).</p></li> -<li><p>After performing a DH between a remote public key and any local private key that is not an ephemeral private key, the local party must not send any encrypted data unless they have also performed a DH between an ephemeral private key and the remote public key.</p></li> +<li><p>After performing a DH between a remote public key and any local private key that is not an ephemeral private key, the local party must not send any encrypted data (i.e. must not call <code>ENCRYPT()</code>) unless it has also performed a DH between an ephemeral private key and the remote public key.</p></li> </ol> <p>Patterns failing the first check are obviously nonsense.</p> <p>The second check outlaws redundant transmission of values to simplify implementation and testing.</p> diff --git a/output/noise.pdf b/output/noise.pdf Binary files differindex d4349c4..9b46fb0 100644 --- a/output/noise.pdf +++ b/output/noise.pdf |