Modern software systems operate under an unprecedented degree of uncertainties, making them hard to specify, model, test, analyze, and verify. Safety assurance of such systems requires efforts that unite different disciplines such as formal method...Loe edasi...
Sari: River Publishers Series in Mathematical and Engineering Sciences
(Ilmumisaeg: 07-Feb-2025, Hardback, Kirjastus: River Publishers, ISBN-13: 9788770228626)
This book is an overview of basics and other related fundamentals pertaining to software vulnerability discovery as a process. This collaboration of academia and industry disseminates various practical mathematical modeling-based tools and analyti...Loe edasi...
Software Security: Concepts & Practices is designed as a textbook and explores fundamental security theories that govern common software security technical issues. It focuses on the practical programming materials that wi...Loe edasi...
In an era defined by rapid digital transformation, Agile Security in the Digital Era: Challenges and Cybersecurity Trends emerges as a pivotal resource for navigating the complex and ever-evolving cybersecurity landscape. This book o...Loe edasi...
Gain holistic insights and practical expertise in embedding security within the DevOps pipeline, specifically tailored for Azure cloud environments Key Features Learn how to integrate security into Azure DevOps workflows for cl...Loe edasi...
How can organizations integrate security while continuously deploying new features? How can some maintain 24-7-365 operations at internet scale? How do they integrate security into their DevOps organization?This practical guide helps you answer...Loe edasi...
Andrey Sadovykh, Dragos Truscan, Wissam Mallouli, Ana Rosa Cavalli, Cristina Seceleanu, Alessandra Bagnato
(Ilmumisaeg: 16-Dec-2023, Hardback, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031422119)
This book provides an overview of software security analysis in a DevOps cycle including requirements formalisation, verification and continuous monitoring. It presents an overview of the latest techniques and tools that help engineers and develo...Loe edasi...
Written by machine-learning researchers and members of the Android Security team, this all-star guide tackles the analysis and detection of malware that targets the Android operating system.This comprehensive guide to Android malware i...Loe edasi...
Cyber-physical systems (CPSs) consist of software-controlled computing devices communicating with each other and interacting with the physical world through sensors and actuators.Because most of the functionality of a CPS is implemented in...Loe edasi...
Software Security: Concepts & Practices is designed as a textbook and explores fundamental security theories that govern common software security technical issues. It focuses on the practical programming materials that wi...Loe edasi...
DevOps engineers, developers, and security engineers have ever-changing roles to play in todays cloud native world. In order to build secure and resilient applications, you have to be equipped with security knowledge. Enter security as code. ...Loe edasi...
Develop Network Infrastructure More Rapidly, and Operate It More Effectively Using model-driven DevOps and the Infrastructure as Code (IaC) paradigm, teams can develop and operate network inf...Loe edasi...
Cyber-physical systems (CPSs) consist of software-controlled computing devices communicating with each other and interacting with the physical world through sensors and actuators. A CPS has, therefore, two parts: The cyber part implementing most o...Loe edasi...
Microservices Security in Action teaches readers how to secure their microservices applications code and infrastructure. After a straightforward introduction to the challenges of microservices security, the book covers fundament...Loe edasi...
The adoption of blockchain for the value chain, insurance, and healthcare domain is flourishing. However, one of the key challenges faced in blockchain development is securing them. The book will cover essential architectural considerations, system...Loe edasi...
