[minion-cvs] Another extension-header fix. This is now working in code

[nickm@seul.org (Nick Mathewson)]

Update of /home/minion/cvsroot/doc
In directory moria.seul.org:/tmp/cvs-serv31145

Modified Files:
	minion-spec.tex 
Log Message:
Another extension-header fix. This is now working in code

Index: minion-spec.tex
===================================================================
RCS file: /home/minion/cvsroot/doc/minion-spec.tex,v
retrieving revision 1.12
retrieving revision 1.13
diff -u -d -r1.12 -r1.13
--- minion-spec.tex	30 May 2002 04:39:21 -0000	1.12
+++ minion-spec.tex	30 May 2002 06:04:33 -0000	1.13
@@ -289,6 +289,15 @@
   	DIGEST = HASH( Encrypt(K, EH | H_(N+1)) | J_i ) )
 	H_i = ESHS(PK_i, V, SK_i, DIGEST, F, A_i) | Encrypt(K, EH | H_(N+1))
 
+   Also, you need to generate J_i differently.  The second step
+   is now
+
+	J_i = J_i XOR PRNG(HASH(SK_i, ``HEADER SECRET KEY''),
+  		Len(128*16))[128*15 -Len(J_i) +Len(header_i):Len(J-i)];
+
+   This approach is now working in code.  If somebody could confirm it
+   to be sound, or simplify it, that would be keen.
+
       -NM]
 
 \subsection{The Payload of messages}