Overview
- Explains the fundamental aspects taking part in predicting the dependability of Safety Critical Systems
- Include case studies to demonstrate the application to assist the reader in understanding
- Provides an overview of the dependability analysis
Part of the book series: Asset Analytics (ASAN)
Buy print copy
Keywords
- Cyber Security
- Analysis Techniques
- Qualitative Analysis
- Markov Model
- Petri Nets
- Reliability Block Diagram
- Fault Tree Analysis
- HAZOP
- Probability
- Dependability
- Quantitative Analysis
- Event Tree Analysis
About this book
The book introduces dependability (security metric) ideas, gives a general overview of the security analysis of Safety-Critical Systems (SCSs), explains why the study is necessary and defines key terms relevant to this research. It makes an effort to emphasize the significance of security in comparison to other dependability indicators and illustrates the key drivers of this research's purpose. The mathematical foundation of the security analysis process is briefly illustrated, and key mathematical terminology and concepts are presented that are crucial for the security evaluation of critical systems. This book's objective is to provide a thorough understanding of the security analysis process. It will be a research-focused book designed for undergraduate, graduate, and doctoral courses in software and cyber security. The fundamentals of reliability, security, metrics, and mathematical foundation have been covered in this book. Each technique's actual applications, along with benefits and drawbacks, are also shown. Applying each technique to the various case studies serves as a demonstration of how it works. By using the many case studies of safety-critical systems, the students can also learn different analysis approaches and how to model them. Students will be able to use these tools, in particular, on a case study of their choice to analyze system security. The book includes a comparison of various strategies and appropriate recommendations for further reading on these subjects. Moreover, this book's target audience includes software professionals who are interested in security analysis.
Authors and Affiliations
About the authors
Raj Kamal Kaur completed her Ph.D. in "Security Analysis of Safety-Critical Systems" from the Department of Computer Science & Engineering, Lovely Professional University, Phagwara, Punjab. She has a good number of publications in SCI-indexed International Journals of repute including IEEE Consumer Electronics, Elsevier, Springer (book chapter), and International Conference. She is a reviewer of some reputed journals.
Lalit K. Singh received his Ph.D. degree from the Indian Institute of Technology (Banaras Hindu University). He is currently a Scientist in NPCIL-BARC, Department of Atomic Energy, Government of India for 20 years, and has the distinction of working on Pressurized Heavy Water Reactors (PHWR) and Light Water Reactors (LWR). He has an illustrious career and succeeded in several critical jobs assigned to him in his illustrious career, though, each of them was challenging. His assignments over the years range from design, development, testing, IV&V, related research, and site validation of the safety-critical computer-based systems of Indian Nuclear Power Plants. He has published several research papers in journals. He has been invited as chief guest, with keynote speeches, session chair, and talks at many international conferences, short-term courses, workshops & faculty development programs from many IITs, NITs & other institutes of national importance. He is the recipient of many awards like publication awards, group achievement awards, etc. He is a reviewer of several SCI-indexed journals on high-impact factors.
Pooja Singh completed her Ph.D. from the Department of Mathematical Sciences, Indian Institute of Technology (Banaras Hindu University), Varanasi. She has a rich experience of fourteen years in mathematical modeling, stochastic processes, reliability & safety engineering for safety critical systems and worked in many domains including medical; and image processing in nuclear energy. He has published several research papers in journals. She supervises many Ph.D. students at reputed institutes. She has many reputed publications related to her field of research. She is a reviewer of many reputed journals on high-impact factors. She is a recipient of a publication award from IIT (BHU). She has completed several industrial projects. She is a member of the editorial board of
many international journals and the Guest Lead editor of many special issues of international journals. She is a Senior member of IEEE. She is a life member of the Indian Nuclear Society, Department of Atomic Energy, Government of India.
Ajit Kumar Verma is working as a Professor (Technical Safety) since March 2012 and is with Western Norway University of Applied Sciences, Haugesund, Norway. He was a Professor/Senior (HAG) scale Professor with the Reliability Engg/Department of Electrical Engineering at IIT Bombay for around 15 years with a research focus on Reliability, Risk & Safety Engineering. He is alsoa Guest Professor at Lulea University of Technology, Sweden, and was an adjunct at the University of Stavanger. He has been honored with 'Honorary Professor' at Amity University in India. He is the Springer Book Series Editor of Asset Analytics: Performance and Safety Management as well as the Springer Book Series Editor of Reliable & Sustainable Electric Power and Energy Systems Management and has jointly edited 5 books published by Springer. He has over 250 publications in various journals and conferences and has been a supervisor/co-supervisor for 37 Ph.d. theses.
Bibliographic Information
Book Title: Security Management for Industrial Safety Critical Applications
Book Subtitle: A Practical Approach
Authors: Raj Kamal Kaur, Lalit Kumar Singh, Pooja Singh, Ajit K. Verma
Series Title: Asset Analytics
Publisher: Springer Singapore
eBook Packages: Business and Management, Business and Management (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2024
Hardcover ISBN: 978-981-97-4017-8Due: 26 August 2024
Softcover ISBN: 978-981-97-4020-8Due: 26 August 2024
eBook ISBN: 978-981-97-4018-5Due: 26 August 2024
Series ISSN: 2522-5162
Series E-ISSN: 2522-5170
Edition Number: 1
Number of Illustrations: 20 b/w illustrations