March 2024
Intermediate to advanced
262 pages
5h 54m
English
Designing a secure, functional model is crucial in building a secure software application. The functional model defines how the application’s features and functionalities work together while considering security.
In this chapter, we’re going to cover designing a secure functional model by looking at the following main topics:
The goal of this chapter is to develop the tools and techniques to formally specify what needs to be built and what should be true when the software is running.
Read now
Unlock full access