 This work is intended to be part of the basis for the <a href="http://www.cs.cornell.edu/Info/Projects/HORUS/hardening/" >Securing and Hardening Horus</a> project. I have developed a Java applet that gives a rough demonstration  of my proposed method of <a href= "http://www.cs.cornell.edu/Info/Projects/HORUS/hardening/demo1/HorusStack.html" >verifying the properties of Horus protocol stacks</a>. </p>
