Creating a Trustworthy Active Web State Machine Concept Ken Birman Cornell University. CS5410 Fall 2008. State Machines: History Idea was first proposed by Leslie Lamport…