+SA-17 Developer Security and Privacy Architecture and Design
---+SA-17(01) Formal Policy Model
---+SA-17(02) Security-relevant Components
---+SA-17(03) Formal Correspondence
---+SA-17(04) Informal Correspondence
---+SA-17(05) Conceptually Simple Design
---+SA-17(06) Structure for Testing
---+SA-17(07) Structure for Least Privilege
---+SA-17(08) Orchestration
---+SA-17(09) Design Diversity

SA-17 Developer Security and Privacy Architecture and Design

Control

Require the developer of the system, system component, or system service to produce a design specification and security and privacy architecture that:
  1. Is consistent with the organization’s security and privacy architecture that is an integral part the organization’s enterprise architecture;
  2. Accurately and completely describes the required security and privacy functionality, and the allocation of controls among physical and logical components; and
  3. Expresses how individual security and privacy functions, mechanisms, and services work together to provide required security and privacy capabilities and a unified approach to protection.

Discussion

Developer security and privacy architecture and design are directed at external developers, although they could also be applied to internal (in-house) development. In contrast, [PL-8](#pl-8) is directed at internal developers to ensure that organizations develop a security and privacy architecture that is integrated with the enterprise architecture. The distinction between SA-17 and [PL-8](#pl-8) is especially important when organizations outsource the development of systems, system components, or system services and when there is a requirement to demonstrate consistency with the enterprise architecture and security and privacy architecture of the organization. [ISO 15408-2](#87087451-2af5-43d4-88c1-d66ad850f614), [ISO 15408-3](#4452efc0-e79e-47b8-aa30-b54f3ef61c2f) , and [SP 800-160-1](#e3cc0520-a366-4fc9-abc2-5272db7e3564) provide information on security architecture and design, including formal policy models, security-relevant components, formal and informal correspondence, conceptually simple design, and structuring for least privilege and testing.

Assessment Objective

    1. the developer of the system, system component, or system service is required to produce a design specification and security architecture that are consistent with the organization’s security architecture, which is an integral part the organization’s enterprise architecture;
    2. the developer of the system, system component, or system service is required to produce a design specification and privacy architecture that are consistent with the organization’s privacy architecture, which is an integral part the organization’s enterprise architecture;
    1. the developer of the system, system component, or system service is required to produce a design specification and security architecture that accurately and completely describe the required security functionality and the allocation of controls among physical and logical components;
    2. the developer of the system, system component, or system service is required to produce a design specification and privacy architecture that accurately and completely describe the required privacy functionality and the allocation of controls among physical and logical components;
    1. the developer of the system, system component, or system service is required to produce a design specification and security architecture that express how individual security functions, mechanisms, and services work together to provide required security capabilities and a unified approach to protection;
    2. the developer of the system, system component, or system service is required to produce a design specification and privacy architecture that express how individual privacy functions, mechanisms, and services work together to provide required privacy capabilities and a unified approach to protection.

Assessment Method

Examine

System and services acquisition policy system and services acquisition procedures enterprise architecture policy enterprise architecture documentation procedures addressing developer security and privacy architecture and design specifications for the system solicitation documentation acquisition documentation service level agreements acquisition contracts for the system, system component, or system service system design documentation information system configuration settings and associated documentation system security plan privacy plan other relevant documents or records

Interview

Organizational personnel with acquisition responsibilities organizational personnel with information security and privacy responsibilities system developer

1. Übersicht

SA-17(01) Formal Policy Model

Control

Require the developer of the system, system component, or system service to:
  1. Produce, as an integral part of the development process, a formal policy model describing the [Assignement: organization-defined elements of organizational security and privacy policy] to be enforced; and
  2. Prove that the formal policy model is internally consistent and sufficient to enforce the defined elements of the organizational security and privacy policy when implemented.

Discussion

Formal models describe specific behaviors or security and privacy policies using formal languages, thus enabling the correctness of those behaviors and policies to be formally proven. Not all components of systems can be modeled. Generally, formal specifications are scoped to the behaviors or policies of interest, such as nondiscretionary access control policies. Organizations choose the formal modeling language and approach based on the nature of the behaviors and policies to be described and the available tools.

Assessment Objective

    1. as an integral part of the development process, the developer of the system, system component, or system service is required to produce a formal policy model describing the [Assignement: organizational security policy] to be enforced;
    2. as an integral part of the development process, the developer of the system, system component, or system service is required to produce a formal policy model describing the [Assignement: organizational privacy policy] to be enforced;
    1. the developer of the system, system component, or system service is required to prove that the formal policy model is internally consistent and sufficient to enforce the defined elements of the organizational security policy when implemented;
    2. the developer of the system, system component, or system service is required to prove that the formal policy model is internally consistent and sufficient to enforce the defined elements of the organizational privacy policy when implemented.

Assessment Method

Examine

System and services acquisition policy system and services acquisition procedures enterprise architecture policy enterprise architecture documentation procedures addressing developer security and privacy architecture and design specifications for the system solicitation documentation acquisition documentation service level agreements acquisition contracts for the system, system component, or system service system design documentation system configuration settings and associated documentation system security plan privacy plan other relevant documents or records

Interview

Organizational personnel with acquisition responsibilities organizational personnel with information security and privacy responsibilities system developer
SA-17(02) Security-relevant Components

Control

Require the developer of the system, system component, or system service to:
  1. Define security-relevant hardware, software, and firmware; and
  2. Provide a rationale that the definition for security-relevant hardware, software, and firmware is complete.

Discussion

The security-relevant hardware, software, and firmware represent the portion of the system, component, or service that is trusted to perform correctly to maintain required security properties.

Assessment Objective

    1. the developer of the system, system component, or system service is required to define security-relevant hardware;
    2. the developer of the system, system component, or system service is required to define security-relevant software;
    3. the developer of the system, system component, or system service is required to define security-relevant firmware;
  2. the developer of the system, system component, or system service is required to provide a rationale that the definition for security-relevant hardware, software, and firmware is complete.

Assessment Method

Examine

System and services acquisition policy enterprise architecture policy procedures addressing developer security architecture and design specifications for the system solicitation documentation acquisition documentation service level agreements acquisition contracts for the system, system component, or system service list of security-relevant hardware, software, and firmware components documented rationale of completeness regarding definitions provided for security-relevant hardware, software, and firmware system security plan other relevant documents or records

Interview

Organizational personnel with system and service acquisition responsibilities organizational personnel with information security responsibilities system developers organizational personnel with information security architecture and design responsibilities
SA-17(03) Formal Correspondence

Control

Require the developer of the system, system component, or system service to:
  1. Produce, as an integral part of the development process, a formal top-level specification that specifies the interfaces to security-relevant hardware, software, and firmware in terms of exceptions, error messages, and effects;
  2. Show via proof to the extent feasible with additional informal demonstration as necessary, that the formal top-level specification is consistent with the formal policy model;
  3. Show via informal demonstration, that the formal top-level specification completely covers the interfaces to security-relevant hardware, software, and firmware;
  4. Show that the formal top-level specification is an accurate description of the implemented security-relevant hardware, software, and firmware; and
  5. Describe the security-relevant hardware, software, and firmware mechanisms not addressed in the formal top-level specification but strictly internal to the security-relevant hardware, software, and firmware.

Discussion

Correspondence is an important part of the assurance gained through modeling. It demonstrates that the implementation is an accurate transformation of the model, and that any additional code or implementation details that are present have no impact on the behaviors or policies being modeled. Formal methods can be used to show that the high-level security properties are satisfied by the formal system description, and that the formal system description is correctly implemented by a description of some lower level, including a hardware description. Consistency between the formal top-level specification and the formal policy models is generally not amenable to being fully proven. Therefore, a combination of formal and informal methods may be needed to demonstrate such consistency. Consistency between the formal top-level specification and the actual implementation may require the use of an informal demonstration due to limitations on the applicability of formal methods to prove that the specification accurately reflects the implementation. Hardware, software, and firmware mechanisms internal to security-relevant components include mapping registers and direct memory input and output.

Assessment Objective

    1. as an integral part of the development process, the developer of the system, system component, or system service is required to produce a formal top-level specification that specifies the interfaces to security-relevant hardware, software, and firmware in terms of exceptions;
    2. as an integral part of the development process, the developer of the system, system component, or system service is required to produce a formal top-level specification that specifies the interfaces to security-relevant hardware, software, and firmware in terms of error messages;
    3. as an integral part of the development process, the developer of the system, system component, or system service is required to produce a formal top-level specification that specifies the interfaces to security-relevant hardware, software, and firmware in terms of effects;
  2. the developer of the system, system component, or system service is required to show proof that the formal top-level specification is consistent with the formal policy model to the extent feasible with additional informal demonstration as necessary;
  3. the developer of the system, system component, or system service is required to show via informal demonstration that the formal top-level specification completely covers the interfaces to security-relevant hardware, software, and firmware;
  4. the developer of the system, system component, or system service is required to show that the formal top-level specification is an accurate description of the implemented security-relevant hardware, software, and firmware;
  5. the developer of the system, system component, or system service is required to describe the security-relevant hardware, software, and firmware mechanisms that are not addressed in the formal top-level specification but are strictly internal to the security-relevant hardware, software, and firmware.

Assessment Method

Examine

System and services acquisition policy enterprise architecture policy formal policy model procedures addressing developer security architecture and design specifications for the system solicitation documentation acquisition documentation service level agreements acquisition contracts for the system, system component, or system service formal top-level specification documentation system security architecture and design documentation system design documentation system configuration settings and associated documentation documentation describing security-relevant hardware, software, and firmware mechanisms not addressed in the formal top-level specification documentation system security plan other relevant documents or records

Interview

Organizational personnel with system and service acquisition responsibilities organizational personnel with information security responsibilities system developer organizational personnel with information security architecture and design responsibilities
SA-17(04) Informal Correspondence

Control

Require the developer of the system, system component, or system service to:
  1. Produce, as an integral part of the development process, an informal descriptive top-level specification that specifies the interfaces to security-relevant hardware, software, and firmware in terms of exceptions, error messages, and effects;
  2. Show via [Selection: informal demonstration, convincing argument with formal methods as feasible] that the descriptive top-level specification is consistent with the formal policy model;
  3. Show via informal demonstration, that the descriptive top-level specification completely covers the interfaces to security-relevant hardware, software, and firmware;
  4. Show that the descriptive top-level specification is an accurate description of the interfaces to security-relevant hardware, software, and firmware; and
  5. Describe the security-relevant hardware, software, and firmware mechanisms not addressed in the descriptive top-level specification but strictly internal to the security-relevant hardware, software, and firmware.

Discussion

Correspondence is an important part of the assurance gained through modeling. It demonstrates that the implementation is an accurate transformation of the model, and that additional code or implementation detail has no impact on the behaviors or policies being modeled. Consistency between the descriptive top-level specification (i.e., high-level/low-level design) and the formal policy model is generally not amenable to being fully proven. Therefore, a combination of formal and informal methods may be needed to show such consistency. Hardware, software, and firmware mechanisms strictly internal to security-relevant hardware, software, and firmware include mapping registers and direct memory input and output.

Assessment Objective

    1. as an integral part of the development process, the developer of the system, system component, or system service is required to produce an informal, descriptive top-level specification that specifies the interfaces to security-relevant hardware, software, and firmware in terms of exceptions;
    2. as an integral part of the development process, the developer of the system, system component, or system service is required to produce an informal, descriptive top-level specification that specifies the interfaces to security-relevant hardware, software, and firmware in terms of error messages;
    3. as an integral part of the development process, the developer of the system, system component, or system service is required to produce an informal, descriptive top-level specification that specifies the interfaces to security-relevant hardware, software, and firmware in terms of effects;
  2. the developer of the system, system component, or system service is required to show via [Selection: informal demonstration, convincing argument with formal methods as feasible] that the descriptive top-level specification is consistent with the formal policy model;
  3. the developer of the system, system component, or system service is required to show via informal demonstration that the descriptive top-level specification completely covers the interfaces to security-relevant hardware, software, and firmware;
  4. the developer of the system, system component, or system service is required to show that the descriptive top-level specification is an accurate description of the interfaces to security-relevant hardware, software, and firmware;
  5. the developer of the system, system component, or system service is required to describe the security-relevant hardware, software, and firmware mechanisms that are not addressed in the descriptive top-level specification but are strictly internal to the security-relevant hardware, software, and firmware.

Assessment Method

Examine

System and services acquisition policy enterprise architecture policy formal policy model procedures addressing developer security architecture and design specifications for the system solicitation documentation acquisition documentation service level agreements acquisition contracts for the system, system component, or system service informal, descriptive top-level specification documentation system security architecture and design documentation system design documentation system configuration settings and associated documentation documentation describing security-relevant hardware, software, and firmware mechanisms not addressed in the informal, descriptive top-level specification documentation system security plan other relevant documents or records

Interview

Organizational personnel with system and service acquisition responsibilities organizational personnel with information security responsibilities system developer organizational personnel with information security architecture and design responsibilities
SA-17(05) Conceptually Simple Design

Control

Require the developer of the system, system component, or system service to:
  1. Design and structure the security-relevant hardware, software, and firmware to use a complete, conceptually simple protection mechanism with precisely defined semantics; and
  2. Internally structure the security-relevant hardware, software, and firmware with specific regard for this mechanism.

Discussion

The principle of reduced complexity states that the system design is as simple and small as possible (see [SA-8(7)](#sa-8.7) ). A small and simple design is easier to understand and analyze and is also less prone to error (see [AC-25](#ac-25), [SA-8(13)](#sa-8.13) ). The principle of reduced complexity applies to any aspect of a system, but it has particular importance for security due to the various analyses performed to obtain evidence about the emergent security property of the system. For such analyses to be successful, a small and simple design is essential. Application of the principle of reduced complexity contributes to the ability of system developers to understand the correctness and completeness of system security functions and facilitates the identification of potential vulnerabilities. The corollary of reduced complexity states that the simplicity of the system is directly related to the number of vulnerabilities it will contain. That is, simpler systems contain fewer vulnerabilities. An important benefit of reduced complexity is that it is easier to understand whether the security policy has been captured in the system design and that fewer vulnerabilities are likely to be introduced during engineering development. An additional benefit is that any such conclusion about correctness, completeness, and existence of vulnerabilities can be reached with a higher degree of assurance in contrast to conclusions reached in situations where the system design is inherently more complex.

Assessment Objective

  1. the developer of the system, system component, or system service is required to design and structure the security-relevant hardware, software, and firmware to use a complete, conceptually simple protection mechanism with precisely defined semantics;
  2. the developer of the system, system component, or system service is required to internally structure the security-relevant hardware, software, and firmware with specific regard for this mechanism.

Assessment Method

Examine

System and services acquisition policy enterprise architecture policy procedures addressing developer security architecture and design specifications for the system solicitation documentation acquisition documentation service level agreements acquisition contracts for the system, system component, or system service system design documentation system security architecture documentation system configuration settings and associated documentation developer documentation describing the design and structure of security-relevant hardware, software, and firmware components system security plan other relevant documents or records

Interview

Organizational personnel with system and service acquisition responsibilities organizational personnel with information security responsibilities system developer organizational personnel with information security architecture and design responsibilities
SA-17(06) Structure for Testing

Control

Require the developer of the system, system component, or system service to structure security-relevant hardware, software, and firmware to facilitate testing.

Discussion

Applying the security design principles in [SP 800-160-1](#e3cc0520-a366-4fc9-abc2-5272db7e3564) promotes complete, consistent, and comprehensive testing and evaluation of systems, system components, and services. The thoroughness of such testing contributes to the evidence produced to generate an effective assurance case or argument as to the trustworthiness of the system, system component, or service.

Assessment Objective

the developer of the system, system component, or system service is required to structure security-relevant hardware, software, and firmware to facilitate testing.

Assessment Method

Examine

System and services acquisition policy enterprise architecture policy procedures addressing developer security architecture and design specifications for the system solicitation documentation acquisition documentation service level agreements acquisition contracts for the system, system component, or system service system design documentation system security architecture documentation privacy architecture documentation system configuration settings and associated documentation developer documentation describing the design and structure of security-relevant hardware, software, and firmware components to facilitate testing system security plan privacy plan other relevant documents or records

Interview

Organizational personnel with system and service acquisition responsibilities organizational personnel with information security and privacy responsibilities system developer organizational personnel with information security and privacy architecture and design responsibilities
SA-17(07) Structure for Least Privilege

Control

Require the developer of the system, system component, or system service to structure security-relevant hardware, software, and firmware to facilitate controlling access with least privilege.

Discussion

The principle of least privilege states that each component is allocated sufficient privileges to accomplish its specified functions but no more (see [SA-8(14)](#sa-8.14) ). Applying the principle of least privilege limits the scope of the component’s actions, which has two desirable effects. First, the security impact of a failure, corruption, or misuse of the system component results in a minimized security impact. Second, the security analysis of the component is simplified. Least privilege is a pervasive principle that is reflected in all aspects of the secure system design. Interfaces used to invoke component capability are available to only certain subsets of the user population, and component design supports a sufficiently fine granularity of privilege decomposition. For example, in the case of an audit mechanism, there may be an interface for the audit manager, who configures the audit settings; an interface for the audit operator, who ensures that audit data is safely collected and stored; and, finally, yet another interface for the audit reviewer, who only has a need to view the audit data that has been collected but no need to perform operations on that data. In addition to its manifestations at the system interface, least privilege can be used as a guiding principle for the internal structure of the system itself. One aspect of internal least privilege is to construct modules so that only the elements encapsulated by the module are directly operated upon by the functions within the module. Elements external to a module that may be affected by the module’s operation are indirectly accessed through interaction (e.g., via a function call) with the module that contains those elements. Another aspect of internal least privilege is that the scope of a given module or component includes only those system elements that are necessary for its functionality, and the access modes to the elements (e.g., read, write) are minimal.

Assessment Objective

the developer of the system, system component, or system service is required to structure security-relevant hardware, software, and firmware to facilitate controlling access with least privilege.

Assessment Method

Examine

System and services acquisition policy enterprise architecture policy procedures addressing developer security architecture and design specifications for the system solicitation documentation acquisition documentation service level agreements acquisition contracts for the system, system component, or system service system design documentation system security architecture documentation system configuration settings and associated documentation developer documentation describing the design and structure of security-relevant hardware, software, and firmware components to facilitate controlling access with least privilege system security plan other relevant documents or records

Interview

Organizational personnel with system and service acquisition responsibilities organizational personnel with information security responsibilities system developer organizational personnel with information security architecture and design responsibilities
SA-17(08) Orchestration

Control

Design [Assignement: critical systems] with coordinated behavior to implement the following capabilities: [Assignement: capabilities].

Discussion

Security resources that are distributed, located at different layers or in different system elements, or are implemented to support different aspects of trustworthiness can interact in unforeseen or incorrect ways. Adverse consequences can include cascading failures, interference, or coverage gaps. Coordination of the behavior of security resources (e.g., by ensuring that one patch is installed across all resources before making a configuration change that assumes that the patch is propagated) can avert such negative interactions.

Assessment Objective

[Assignement: critical systems] are designed with coordinated behavior to implement [Assignement: capabilities].

Assessment Method

Examine

System and services acquisition policy enterprise architecture policy procedures addressing developer security and privacy architecture and design enterprise architecture security architecture solicitation documentation acquisition documentation service level agreements acquisition contracts for the system, system component, or system service system design documentation system configuration settings and associated documentation developer documentation describing design orchestration system security plan privacy plan other relevant documents or records

Interview

Organizational personnel with system and service acquisition responsibilities organizational personnel with information security and privacy responsibilities system developer organizational personnel with information security architecture responsibilities
SA-17(09) Design Diversity

Control

Use different designs for [Assignement: critical systems] to satisfy a common set of requirements or to provide equivalent functionality.

Discussion

Design diversity is achieved by supplying the same requirements specification to multiple developers, each of whom is responsible for developing a variant of the system or system component that meets the requirements. Variants can be in software design, in hardware design, or in both hardware and a software design. Differences in the designs of the variants can result from developer experience (e.g., prior use of a design pattern), design style (e.g., when decomposing a required function into smaller tasks, determining what constitutes a separate task and how far to decompose tasks into sub-tasks), selection of libraries to incorporate into the variant, and the development environment (e.g., different design tools make some design patterns easier to visualize). Hardware design diversity includes making different decisions about what information to keep in analog form and what information to convert to digital form, transmitting the same information at different times, and introducing delays in sampling (temporal diversity). Design diversity is commonly used to support fault tolerance.

Assessment Objective

different designs are used for [Assignement: critical systems] to satisfy a common set of requirements or to provide equivalent functionality.

Assessment Method

Examine

System and services acquisition policy enterprise architecture policy procedures addressing developer security architecture and design diversity for the system solicitation documentation acquisition documentation service level agreements acquisition contracts for the system, system component, or system service system design documentation system security architecture documentation system configuration settings and associated documentation developer documentation describing design diversity system security plan other relevant documents or records

Interview

Organizational personnel with system and service acquisition responsibilities organizational personnel with information security responsibilities system developer organizational personnel with information security architecture responsibilities

1.1 Referenzen

1.2 Identifizierte Anforderungen

1.3 Zugehörige Regulierungen

2. Identifizierte Anforderungen

Anforderungen

3. Zugehörige Regulierungen

Regulierungen

Verknüpfte Vorgänge

Verknüpfungen
is blocked by SA-17 Developer Security and Privacy Architecture and Design – Assessment Procedure
is blocked by Developer Architecture & Design