Cornell University
Computer Science Department
Masters of Engineering Project
Spring 1998
Han-Yang Lo
Sanjeev Topiwala
Joyce Wang
with
assistance from Keith Sollers
Under the supervision of:
Professor Fred B. Schneider
last
modified: Tuesday, 4/28/98
Applications
The complete source can be downloaded from the Source document.
You can download the executables with the demo:
Consumer: ConsumerDemo.zip, compiled on MSVC++ 5.0, 478Kb
Merchant: MerchantDemo.zip, compiled on MSVC++ 5.0, 467Kb
Bank: BankDemo.zip, compiled on MSVC++ 5.0, 480Kb
Bank Utilities: Util.zip, compiled on MSVC++ 5.0, 472kb
Specifications
Design
Documentation
Consumer
User Manual
Merchant
User Manual
Bank User
Manual
Demonstration
of V-óa$h