BF Key Management (KMN) Bugs Class
Irena Bojanova, Primary Investigator and Lead, Bugs Framework (BF)

Definition

Key Management (KMN) class – Cryptographic keying material is generated, stored, distributed, used, or destroyed improperly.

Taxonomy

OperationsDefinition
Generate/SelectGenerate/Select operation – yyyddd.
StoreStore operation – yyyddd.
DistributeDistribute operation – yyyddd.
UseUse operation – yyyddd.
DestroyDestroy operation – yyyddd.
OperandsDefinition
DataData operand – The data value of an object – stored in object's memory.
CausesDefinition
Code BugCode Bug Type – A code operation defect – proper operands over an improper operation. A first cause for the chain of weaknesses underlying a software security vulnerability. Must be fixed to resolve the vulnerability.
   Missing Code
   Added Code
   Erroneous Code
Specification BugSpecification Bug Type – A specification operation defect – proper operands over an improper operation. A first cause for the chain of weaknesses underlying a software security vulnerability. Must be fixed to resolve the vulnerability.
   Wrong Algorithm
Data FaultData Fault/Error Type – The object data has harmed semantics or inconsistent or wrong value
   Weak Keying MaterialWeak Keying Material fault/error – yyyddd.
ConsequencesDefinition
Data ErrorData Fault/Error Type – The object data has harmed semantics or inconsistent or wrong value
   Weak Keying MaterialWeak Keying Material fault/error – yyyddd.
Data Security Final ErrorData Security exploitable error type – xxx
   Revealed IVRevealed IV exploitable error – A secret, public, or private key is exposed.
   Revealed Shared SecretsRevealed Shared Secrets exploitable error – A pre-master or other secret is exposed.
   Revealed Domain ParameterRevealed Domain Parameter exploitable error – A xxx is exposed.
   Revealed Random BitsRevealed Random Bits exploitable error – A random number (inlc. a salt or a nonce) is exposed.
Operations AttributesDefinition
MechanismMechanism operation attribute type – Shows how the buggy/faulty operation code is performed.
   Hash + RNDHash + RND operation attribute – Hash Function + Random Numbers.
   MACMAC operation attribute – Message Authentication Code.
   Digital SignatureDigital Signature operation attribute – yyyddd.
Source CodeSource Code operation attribute type – Shows where the buggy/faulty operation code is in the program – in what kind of software.
   CodebaseCodebase operation attribute – The operation is in the programmer's code - in the application itself.
   Third-PartyThird-Party operation attribute – The operation is in a third-party software.
   Standard LibraryStandard Library operation attribute – The operation is in the standard library for a particular programming language.
   Compiler/InterpreterCompiler/Interpreter operation attribute – The operation is in the language processor that allows execution or creates executables (compiler, assembler, interpreter).
Execution SpaceExecution Space operation attribute type – Shows where the buggy/faulty operation code is running or with what privilege level.
   UserlandUserland operation attribute – The bugged code runs in an environment with privilege levels, but in unprivileged mode (e.g., ring 3 in x86 architecture).
   KernelKernel operation attribute – The bugged code runs in an environment with privilege levels with access privileged instructions (e.g., ring 0 in x86 architecture).
   Bare-MetalBare-Metal operation attribute – The bugged code runs in an environment without privilege control. Usually, the program is the only software running and has total access to the hardware.
Operands AttributesDefinition
         Data KindData Kind operand attribute type – Shows what the data value is.
            HashesHashes operand attribute – Fixed-length bit strings mapped by a hash function from arbitrary length bit strings. They are used for integrity authentication. They are cryptographic data.
            Keying MaterialKeying Material operand attribute – Cryptographic keys (secret, public, private) and other crypto algorithm parameters (initialization vectors (IVs), shared secrets (e.g. pre-master secrets), domain parameters, and random bits (eandom number - RBG seeds, salt, nonce).
            Digital CertificateDigital Certificate operand attribute – yyyddd They are sensitive data.
         Data StateData State operand attribute type operand attribute – Shows where the data come from.
            EnteredEntered operand attribute – The data are from a user via a user interface (e.g., input field of a dialog or a command prompt).
            StoredStored operand attribute – The data are from a permanent storage (e.g., file, database on a storage device).
            In UseIn Use operand attribute – The data are from a volatile storage (e.g., RAM, cache memory).
            TransferredTransferred operand attribute – The data are from another device via a network (e.g., connecting analog device or another computer).