G. Obtaining the REAL Simulator

The modified version of the REAL 4.0 simulator which was used to obtain the results in this thesis, and the scenarios simulated in this thesis, can be obtained as follows:

Via the World Wide Web:

At http://minnie.tuhs.org/PhD/

Via Anonymous File Transfer:

Ftp to minnie.tuhs.org. Login either as anonymous or ftp; use your email address as your password. Change to the PhD folder.

The following files should be available for you to retrieve:

wkt_real.tar.gz

A full distribution of REAL 4.0, with modifications as described in Chapter 8. Note that the modifications have only been verified on machines running SunOS 3.5 and FreeBSD 2.x.

wkt_scenarios.tar.gz

The input scenario files which were discussed in Chapter 9, and listed in Appendix E. Please note the rider at the beginning of Appendix E.

random_scenarios.tar.gz

The 500 randomly-generated scenario files which were described in Chapter 10.

param_changes.tar.gz

A set of changes which were made to the 500 randomly-generated scenario files in order to obtain the parameter results described in Chapter 11.

trump_spin.tar.gz

The input files to the Spin protocol verification suite which were used to verify the TRUMP protocol, described in Appendix B.

All files are compressed using GNU zip, and you will need GNU gunzip to decompress them. All files are Tar file archives, and you will need a tar program to extract the files from the archives. If you have any problems with these files, please email me at
wkt@tuhs.org.

Any changes or notes about these files which did not make it in to this thesis will be placed in a README file. Note that the modifications to REAL 4.0, the input scenario files and the thesis file are Copyright ©1997 Warren Toomey and the University of New South Wales.