Transcript Mike Tashbook and Elisabeth Strunk, Mike Lizzie's Awesome Dave-Wowing Interactive 3-D Multimedia Experience

Mike & Lizzie’s Awesome
Dave-Wowing Interactive
3-D Multimedia Experience
CS 655 (Programming Languages)
University of Virginia
Spring 2001
A Dangerous Scenario
• Customers deposit their hard-earned money
in the bank
• Stressed-out, overworked primary system
administrator goes on vacation
• Incompetent assistant system administrator
uses banking network to play games
• Security hole found in WinNT software
• Diabolical intruder exploits security hole to
steal money
Patching The Hole
• Patch also requires DetectBogusTransfer()
• Stop GetMyMoney() process (but leave
other processes running)
• Install/activate DetectBogusTransfer()
• Install GetMyMoney() patch
• Restart GetMyMoney() process
Current Solution Approaches
• Distributed Software Dock (uses XML)
• RAPTOR (uses Z)
• Central authority for system maintenance
Desired Solution Features
•
•
•
•
•
•
•
Formal specification
Hierarchical organization
Precondition analysis
Properties over collections
Temporal reasoning
Scalability
Natural way to adapt pre-existing systems