Title: Secure Fog Computing for Smart Living
Abstract: Fog computing is an attractive model for systems in which people live inside of the system with the goal of living smarter. Introduction of new technologies (materials, sensors, wireless communications, controls) without consideration of human behavior, health outcomes or architectural integrity will inevitably lead to failure of the rapidly changing built environment to meet the most fundamental needs: to be healthy, safe, productive and humane. Infrastructures are needed that are holistically designed to be human centered and adapt to our needs and preferences. Utility and transportation networks must adapt to dynamic usage, traffic conditions or user behavior with minimum carbon footprint. Clean and locally sourced (renewable) energy grid actuates localized energy and power control. Pervasive security detects and prevents potential threats. Technologies are needed for managing living environments that proactively sense behavioral and health risks, and provide situation-aware responses to emergencies or disasters. Such a vision embraces a bold vision of smart living that goes well beyond smart homes or even smart cities.
All of the desirable aspects of living require an Internet of Things (IoT) environment deeply embedding a wide variety of physical devices with computational elements and networking, working on the local level. Fog computing is just such a system-level horizontal architecture that distributes resources and services of computing, storage, control and networking anywhere along the continuum from Cloud to Things. By extending the cloud to be closer to the things that produce and act on IoT data, Fog enables localized control and decision making at shorter time scales with more resilience.
Unfortunately, unintended or misunderstood interactions among the components of a Fog cause unpredictable behavior leading to serious errors. While each component may independently function correctly, their composition may yield incorrectness due to Interference. Interference that violates correctness or security is well-understood in the purely software (cyber) domain. In the Fog domain, interference is much less understood. Security and confidentiality problems are particularly vexing. Attacks such as Stuxnet show how formal security properties can be violated through physical interference with the cyber components. To add to the difficulty, Fog security is difficult to specify in terms of traditional “high” and “low” security.
This talk will discuss how research into a Smart Living Fog encompasses researchers from engineering, computing, networking, social and behavioral sciences and a good understanding of ethical thought to be able to construct a safe and secure environment blending both physical and cyber information flow properties across multiple security domains. This poses the deep scientific question: how to make such systems secure and correct?
Bio: Dr. Bruce McMillin is currently the associate dean for research and outreach in the College of Engineering and Computing and a professor of Computer Science at the Missouri University of Science and Technology (S&T). He established and leads the campus Center for Information Assurance and is a senior research investigator in the campus Intelligent Systems Center at S&T His research is on formal methods for fault tolerance and security in distributed embedded systems with an eye towards critical infrastructure protection, most recently focusing on security and dependability of the advanced electric power grid control (smart grid). His research has been supported by the United States NSF, AFOSR, DOE, and several Missouri Industries. Dr. McMillin has authored over 100 refereed papers in international conferences and journals. He is leading the distributed grid intelligence project of the NSF Future Renewables Engineering Research Center, an advanced smart grid architecture. He is a senior member of the IEEE and member and contributor to the SGIP Smart Grid Interoperability Panel and the NIST Public Working Group in Cyber Security for Cyber-Physical Systems. He currently serves on the IEEE Computer Society's Board of Governors and as an ABET Computing Accreditation Commissioner.