[minion-cvs] Another fix in single header creation.

[weasel@seul.org (Peter Palfrader)]

Update of /home/minion/cvsroot/doc/spec
In directory moria.mit.edu:/tmp/cvs-serv31044

Modified Files:
	minion-spec.txt 
Log Message:
Another fix in single header creation.
Use Encrypt() instead of xor with prng in processing a packet.


Index: minion-spec.txt
===================================================================
RCS file: /home/minion/cvsroot/doc/spec/minion-spec.txt,v
retrieving revision 1.21
retrieving revision 1.22
diff -u -d -r1.21 -r1.22
--- minion-spec.txt	9 Oct 2003 04:05:47 -0000	1.21
+++ minion-spec.txt	9 Oct 2003 05:14:03 -0000	1.22
@@ -710,7 +710,7 @@
         DIGEST = HASH(EREST | J_(i-1))
 
         SH = SHS(V, SK_i, DIGEST, len(RI), RT, RI)
-        UNDERFLOW = Min(PK_MAX_DATA_LEN - SH_LEN, 0)
+        UNDERFLOW = Max(PK_MAX_DATA_LEN - SH_LEN, 0)
         RSA_PART = SH | H0[PK_MAX_DATA_LEN - UNDERFLOW : UNDERFLOW]
 
         ESH = PK_ENCRYPT(PK_i, RSA_PART)
@@ -820,7 +820,7 @@
         H1 = H1[PK_ENC_LEN : 2048-PK_ENC_LEN] |
              PRNG(JUNK_KEY, PK_OVERHEAD_LEN + MIN_SH + RS)
         HEADER_KEY = SubKey(SK, "HEADER SECRET KEY")
-        H1 = H1 ^ PRNG(HEADER_KEY, Len(H1))
+        H1 = Encrypt(HEADER_KEY, H1)
 
         FULL_H = PK_PART[MIN_SH:Len(PK_PART)-MIN_SH] | H1
         RI = FULL_H[0:RS]