Integrity Considerations for Secure Computer Systems

Biba, K. J. (1975). Integrity Considerations for Secure Computer Systems.

Type

Unclassified

Intellectual base

Unclassified

Year

1975

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Biba Model
  • … and dominance relation, read, write and invocation semantics, transition rules, trusted subjects, declassification or endorsement, covert channels, and exact Biba variant are explicit. to An applied instance preserves the same invariant under a changed scale, notation, jurisdiction, dataset, or implementation..

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:bd7ca6f2fd07 · see in the full table