CASPER
files to demonstrate timed authentication
This directory contains two
CASPER
files that illustrate the difference between timed and untimed authentication..
The
first version
achieves Agreement, but not Timed Agreement.
The
second version
achieves Timed Agreement.