Handbook on Securing Cyber-Physical Critical Infrastructure

Dr. Sajal K. Das is the Curators’ Distinguished Professor and Daniel St. Clair Endowed Chair in Computer Science at Missouri University of Science and Technology, where he was the Chair of Computer Science Department during 2013-2017. He also served the US National Science Foundation (NSF) as a Program Director in the Computer and Network Systems Division. Dr. Das’ interdisciplinary research spans cyber-physical systems, IoT, cybersecurity, machine learning, data science, wireless and sensor networks, mobile and pervasive computing, smart environments, parallel/cloud/edge computing, social and biological networks, applied graph theory and game theory. He has contributed significantly to these areas and published extensively in top-tier venues (more than 350 journal articles and more than 450 peer-reviewed conference papers). He coauthored four books, 59 book chapters, and 5 US patents. He directed over $24 million funded research projects. His h-index is 99 with more than 42,000 citations.Dr. Das is the founding Editor-in-Chief of Elsevier’s Pervasive and Mobile Computing journal and serves as an Associate Editor of the IEEE Transactions on Mobile Computing, IEEE Transactions on Dependable and Secure Computing, IEEE Transactions on Sustainable Computing, IEEE/ACM transactions on Networking, ACM Transactions on Sensor Networks, and Journal of Parallel and Distributed Computing. A founder of the IEEE PerCom, WoWMoM, SMARTCOMP and ACM ICDCN conferences, he has served as General and Program Chair of reputed conferences. He is a recipient of 12 Best Paper Awards in flagship conferences like ACM MobiCom and IEEE PerCom; and numerous awards for teaching, mentoring and research including the IEEE Computer Society’s Technical Achievement award for pioneering contributions to sensor networks and mobile computing, and the University of Missouri System President’s Award for Sustained Career Excellence. Dr. Das has mentored and graduated 12 postdoctoral fellows, 51 Ph.D. scholars, 31 MS thesis, and numerous undergraduate research students. Currently he is supervising 9 Ph.D. students and 4 postdocs. He is a Distinguished alumnus of the Indian Institute of Science, Bangalore and a Fellow of the IEEE, National Academy of Inventors (NAI) and Asia-Pacific Artificial Intelligence Association (AAIA).Krishna Kant is currently with George Mason University and on leave of absence from IntelCorporation where he has worked since 1997. His current areas of research include robustness in the Internet, cloud computing security, and sustainable computing. Nan Zhang is an Assistant Professor of Computer Science at the George Washington University, Washington, DC, USA. Prior to joining GWU, he was an assistant professor of Computer Science and Engineering at the University of Texas at Arlington from 2006 to 2008. His current research interests span security and privacy issues in databases, data mining, and computer networks.

"This impressive collection presents different viewpoints on the security of cyber-physical infrastructure. With more than 40 different contributors and 30 chapters organized in eight parts, the authors provide a unique introduction to the current state of the art in this field. The recent rise in both security awareness and the criticality of cyber-physical systems justifies the publishing of such a comprehensive book." --ComputingReviews.com, March 2013

• Introduction: Securing Cyber-Physical Infrastructures--An OverviewPart 1: Theoretical Foundations of SecurityChapter 1: Security and Vulnerability of Cyber-Physical Infrastructure Networks: A Control-Theoretic ApproachChapter 2: Game Theory for Infrastructure Security – The Power of Intent-Based Adversary ModelsChapter 3: An Analytical Framework for Cyber-Physical NetworksChapter 4: Evolution of Widely Spreading Worms and Countermeasures : Epidemic Theory and ApplicationPart 2: Security for Wireless Mobile NetworksChapter 5: Mobile Wireless Network SecurityChapter 6: Robust Wireless Infrastructure against Jamming AttacksChapter 7: Security for Mobile Ad Hoc NetworksChapter 8: Defending against Identity-Based Attacks in Wireless NetworksPart 3: Security for Sensor NetworksChapter 9: Efficient and Distributed Access Control for Sensor NetworksChapter 10: Defending against Physical Attacks in Wireless Sensor NetworksChapter 11: Node Compromise Detection in Wireless Sensor NetworksPart 4: Platform SecurityChapter 12: Hardware and Security: Vulnerabilities and SolutionsChapter 13: Languages and Security: Safer Software Through Language and Compiler TechniquesPart 5: Cloud Computing and Data SecurityChapter 14: Protecting Data in Outsourcing ScenariosChapter 15: Data Security in Cloud ComputingChapter 16: Secure Mobile Cloud ComputingChapter 17: Relation Privacy Preservation in Online Social NetworksPart 6: Event Monitoring and Situation AwarenessChapter 18: Distributed Network and System Monitoring for Securing Cyber-Physical InfrastructureChapter 19: Discovering and Tracking Patterns of Interest in Security Sensor StreamsChapter 20: Pervasive Sensing and Monitoring for Situational AwarenessChapter 21: Sense and Response Systems for Crisis ManagementPart 7. Policy Issues in Security ManagementChapter 22: Managing and Securing Critical Infrastructure -- A Semantic Policy and Trust-Driven ApproachChapter 23: Policies, Access Control, and Formal Methods Chapter 24: Formal Analysis of Policy based Security Configurations in Enterprise NetworksPart 8: Security Issues in Real-World SystemsChapter 25: Security and Privacy in the Smart GridChapter 26: Cyber-physical Security of Automotive Information TechnologyChapter 27: Security and Privacy for Mobile Healthcare (m-Health) SystemsChapter 28: Security and Robustness in the Internet InfrastructureChapter 29: Emergency Vehicular NetworksChapter 30: Security Issues in VoIP Telecommunication Networks