Mike

1
Mike Lizzies AwesomeDave-Wowing
Interactive3-D Multimedia Experience

• CS 655 (Programming Languages)
• University of Virginia
• Spring 2001

2
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

3
Patching The Hole

• Patch also requires DetectBogusTransfer()
• Stop GetMyMoney() process (but leave other
  processes running)
• Install/activate DetectBogusTransfer()
• Install GetMyMoney() patch
• Restart GetMyMoney() process

4
Current Solution Approaches

• Distributed Software Dock (uses XML)
• RAPTOR (uses Z)
• Central authority for system maintenance

5
Desired Solution Features

• Formal specification
• Hierarchical organization
• Precondition analysis
• Properties over collections
• Temporal reasoning
• Scalability
• Natural way to adapt pre-existing systems