Security software engineering

Product security requirements and security-by-design

State the product's security requirements in terms a test can confirm or refute

Security appears in a product specification as an adjective rather than as a requirement. The decision is to state the product's security requirements in terms a test can confirm or refute. The work starts from whether each stated security property names an actor, a condition and an observable outcome and ends with a product security requirement set with verification methods and owners. It is most relevant to product managers and security architects. A useful result states what was examined, what remains uncertain and which decision the evidence can support.

State the product's security requirements in terms a test can confirm or refute

  1. Starting pointObligation

    The starting condition this work depends on.

  2. ExaminationTestable property

    Where the consequence actually arises.

  3. DecisionVerification evidence

    The finding and its open dependencies.

Proposed working model, not exhaustive coverage.

Decision

Frame the decision before scoping the work

Questions and the evidence each one needs

Question / evidenceObligation
Inspect the product specification and roadmap.
Question / evidenceTestable property
Inspect customer and regulatory security obligations.
Question / evidenceVerification evidence
Inspect the threat model, where one exists.
Read each question against evidence already available.

The decision is to state the product’s security requirements in terms a test can confirm or refute. This matters to product managers and security architects when security appears in a product specification as an adjective rather than as a requirement. Name the affected product, the consequence of a wrong decision and the owner who can act. The opening conversation should establish which evidence already exists and which uncertainty is material enough to investigate.

The specific failure hypothesis is that a requirement to encrypt sensitive data leaves the key holder, the threat and the failure behaviour undefined. It stays a hypothesis until it is examined in your own case. Existing design records, tests or operating evidence may already resolve it, so identify the uncovered question before commissioning further work.

Mechanism

Follow the relationship that carries the consequence

Where the boundary is actually crossed

SourceObligation
The condition the design assumes.
CrossingTestable property
Where authority or information changes hands.
ConsequenceVerification evidence
The effect the owner must answer for.
Evidence comes from the configuration that will ship.

What this specialty examines

Product security requirements and security-by-design rests on whether each stated security property names an actor, a condition and an observable outcome. Work from the configuration that will actually ship rather than from the reference design, and record where the two differ.

The examination draws on the product specification and roadmap; customer and regulatory security obligations; and the threat model, where one exists. Identify the owner, revision and operating context of each source. Keep an incomplete input visible, with an explanation of what its absence prevents the owner from concluding, rather than quietly treating a gap as a satisfactory result.

The tradeoff to make explicit

The tradeoff here is a requirement strict enough to test against one broad enough to survive a design change. Compare the available options against the same intended outcome. If one option removes a control or moves a boundary, describe that difference before treating its lower effort as an improvement. The decision should expose the tradeoff rather than bury it in a single rating.

Preparation

Connect the inputs to the boundary examined

Preparation record for the engagement

Illustrative working format

BasisThe product specification and roadmap
Bounds the context.
MaterialCustomer and regulatory security obligations
Supplies the material examined.
ConditionThe threat model, where one exists
Exposes conditions that qualify a result.
Illustrative record; availability and handling need confirmation.

Start with the product specification and roadmap; customer and regulatory security obligations; and the threat model, where one exists. Each has a different job: the first establishes context, the second supplies the material to examine, and the third exposes operating conditions that may qualify a conclusion. Sanitised examples can support early work, provided the differences from the real configuration stay explicit.

The scope also needs product managers and security architects with the authority to inspect the relevant boundary, and agreement on what evidence would distinguish the failure in which a requirement to encrypt sensitive data leaves the key holder, the threat and the failure behaviour undefined from acceptable behaviour. Where stakeholders disagree about intended behaviour, resolve that interpretation before classifying an observed difference as a defect.

Working sequence

Carry the question through to an accountable finding

From scoped material to a decision record

  1. EstablishCollect the obligations

    Set the conditions assumed.

  2. ExamineWrite testable properties

    Apply the scoped check.

  3. RetainConnect requirements to verification

    Record evidence and the next decision.

Proposed sequence; resolve access gaps first.

Collect the obligations

Gather customer commitments, regulatory expectations, platform constraints and internal standards that the product must satisfy. Record what is deliberately excluded.

Write testable properties

Restate each obligation as a property with an actor, a precondition and an observable result, separating a design constraint from a verification criterion. Keep an unreproducible observation in the record with its reason.

Connect requirements to verification

Assign each requirement a verification method, an owner and the evidence that would demonstrate it in a release. Hand the result over with its open dependencies attached.

Indicative artefact

Make the artefact usable by the person who owns the decision

A product security requirement set with verification methods and owners

Illustrative working format

Annotated fieldObligations traced to their source
What was examined, and under which assumptions.
Annotated fieldTestable security properties
Each observation, linked to evidence.
Annotated fieldVerification method and evidence per requirement
The next decision, and its limits.
Illustrative structure, not a completed engagement.

The proposed decision artefact is a product security requirement set with verification methods and owners. Depending on the agreed scope, the pack may include:

  • Obligations traced to their source. Basis: the definitions, boundaries and assumptions another reviewer would need.

  • Testable security properties. Observation: the findings and their interpretation, preserving adverse results and disagreement.

  • Verification method and evidence per requirement. Decision: what the owner could do next, and what change would justify revisiting it.

Retain the selection rationale beside the result. Without it, a bounded finding is easily mistaken for complete coverage.

Illustrative scenario

Examine the question through a constructed case

A constructed case and its decision paths

Illustrative scenario

  1. SituationObligation

    A product commits to tenant isolation in a customer contract without defining what isolation covers.

  2. Question to examineTestable property

    Which resources, identities and failure modes does the commitment actually include?

  3. Conditional next actionVerification evidence

    Write the isolation property as a testable statement and agree the evidence a release must produce.

Fictional example; no engagement or outcome is implied.

Consider an illustrative situation: a product commits to tenant isolation in a customer contract without defining what isolation covers. The example is constructed to show how the question is framed. No client engagement, executed test or measured improvement is implied.

The question to examine is which resources, identities and failure modes does the commitment actually include. A reasonable next action would be to write the isolation property as a testable statement and agree the evidence a release must produce. The decision record should state which configuration was accepted and which limitations came with it.

Scope and next action

Keep the conclusion inside the agreed boundary

Confirm fit before the next commitment

Included boundaryObligation
Limited to the agreed scope and configuration.
PrerequisiteThe product specification and roadmap
The owner confirms access and conditions.
Claim limitVerification evidence
Requirements describe intent. Meeting them is established by verification evidence, not by their presence in a specification.
Bring the triggering change and the evidence you hold.

Requirements describe intent. Meeting them is established by verification evidence, not by their presence in a specification. Any engagement depends on an agreed scope, a qualified team and authorised access.

Bring the affected product or workflow, its current configuration and the evidence you already hold. The scope question follows from the situation in which security appears in a product specification as an adjective rather than as a requirement. Confirm which missing observation would change the owner’s next action.

A little more clarity

Questions to consider.

Start with the questions that shape a better decision.

When is product security requirements and security-by-design the right work?

It suits product managers and security architects when security appears in a product specification as an adjective rather than as a requirement. Stated plainly, the decision it supports is to state the product's security requirements in terms a test can confirm or refute. If none of that applies yet, a shorter framing conversation is more useful than a scoped engagement.

What would our team need to provide?

Start with the product specification and roadmap; customer and regulatory security obligations; the threat model, where one exists; and existing acceptance criteria. Identify the owner, revision and operating context of each. A missing input should be recorded as an evidence gap rather than assumed to be satisfactory.

How is the scope bounded?

The work examines whether each stated security property names an actor, a condition and an observable outcome within an agreed boundary. Requirements describe intent. Meeting them is established by verification evidence, not by their presence in a specification. State the boundary in writing before the work starts, so a later reader can distinguish what was excluded from what was missed.

What does the engagement produce?

The proposed artefact is a product security requirement set with verification methods and owners. It carries obligations traced to their source; testable security properties; and verification method and evidence per requirement, with the open dependencies still attached so the owner can see what the evidence does not cover.

What if our existing evidence already answers this?

Review its scope, provenance and configuration first. Work already done by product managers and security architects may be sufficient. Record the decision, the unresolved limitations and the change that would require another look. Further work should address a real gap.

What tradeoff should we expect to decide?

The recurring tradeoff is a requirement strict enough to test against one broad enough to survive a design change. Neither side is universally correct. The engagement makes the difference explicit and leaves the choice with the owner who carries its consequence.

What would make the findings inconclusive?

Missing the product specification and roadmap; customer and regulatory security obligations; and the threat model, where one exists can prevent a reliable interpretation. Record the specific missing observation and its implication. The owner can supply the evidence, narrow the claim or defer the dependent decision; an incomplete case should not silently count as a pass.

Start with the decision you need to make.

Tell us about the agent workflow you want reviewed, and where you need greater clarity. Scope and availability are confirmed together.

Connected disciplines