Our dependence on computers, networks, and the Internet has grown at a fast pace, as evidenced by the increasing number of applications, as well as computer supervisory control of power, telecommunication, and transportation systems. In their current state, computers and networks are neither secure nor dependable for protecting stored or transmitted information or delivering a desired level of quality.