The Internet of Things includes a variety of computer systems that interact with each other, with people, and with their environment. Software driven entities that perform complex or proactive tasks are characterized as smart or intelligent and are rapidly becoming commonplace in industrial and household settings. These systems are often cyber-physical systems that affect the tangible world, and that brings with it a range of security and safety concerns that must be systematically and rationally addressed. This project addresses a lack of a clear foundation for doing so, with an architectural model and protocol that includes a pragmatic application of formal methods to policies for proving that those policies, and enforced conditions derived from them, meet safety and security objectives.
For more information, please contact the Graduate Research School.