-------------------------------------------------------------------------------
Mohamed G. Gouda                                        	CS 386S
Spring 2008                                        		Quiz 6
-------------------------------------------------------------------------------

Consider a version of the Antireplay Window Protocol where the message sequence
numbers are in the range 0..99 and the window size w is 5. Assume that during
an execution of this protocol, the local state of the receiving process q in 
the protocol becomes as follows. 

	1. The right edge r of the window has the value 97.

	2. The window wdw has the following values:
	   wdw[1..5] = true, false, true, false, true.

	3. The current session key of q is H^2(sk).

Assume also that starting from this local state, process q receives the 
following three messages in order:

	1. msg(3, t, H(H^3(sk), 3, t))

	2. msg(4, t', H(H^2(sk), 4, t'))

	3. msg(99, t", H(H^2(sk), 99, t"))

What will the local state of process q be after handling these three messages.

-------------------------------------------------------------------------------

Solution:

After receiving these three messages, the local state of q becomes:

	1. r = 3.

	2. wdw[1..5] = true, false, false, false, true.

	3. Session key of q remains H^2(sk).

-------------------------------------------------------------------------------