Sentence examples for model security requirements from inspiring English sources
Abuse frames are used to model threats while security problem frames are used to model security requirements.
In this paper, we describe the threat model and security requirements for the key management system.
The proposed methodology must take into account that a grid system can be described as a parameterized model, and security requirements can be described as hyperproperties.
The development process proposed in the chapter starts from a model of the security requirements that serves as a yardstick for analyzing top-level specification of the system to be built.
We also provide a set of model transformations to fit security requirements of a system.
In this paper, we refer to the variety of security requirements models from the literature to drive an aggregate model and move away from the individualistic proposed taxonomy to a hierarchical and standard security requirement model.
A literature review has shown that there are various and different security requirements models, some of which are examined and others are neglected.
In our model, the system security requirement is defined as the maximum percentage of packets forwarded to the destination through the selected relay that are compromised by the attacker if the attacker's attacking target selection coincides with the source's relay selection.
This chapter introduces a Wireless Integrated Secure Data Options Model (WISDOM) that provides three tiered security options, with proper hardware, software, and security requirements delineated to secure a wireless local area networks (WLAN) at a corresponding security level equivalent to the wired network with which it connects.
In this work we present a Model Driven Engineering methodology that addresses validation and verification of security requirements by using formal methods and model transformation algorithms.
In this section, we discuss how our formal modeling with Casper allows checking the security requirements described in 4.5.
