A primary key from another table used to cross-link or express relationships between the contents of two tables. A primary key of one file (relation) that appears in another file (relation).

(1) A software specification and production method, based on discrete mathematics, that comprises: a collection of mathematical notations addressing the specification, design, and development processes of software production, resulting in a wellfounded logical inference system in which formal verification proofs and proofs of other properties can be formulated, and a methodological framework within which software can be developed from the specification in a formally verifiable manner. Mathematical argument which verifies that the system satisfies a mathematically described security policy.

Complete and convincing mathematical argument presenting the full logical justification for each proof step and for the truth of a theorem or set of theorems. The discharge of a proof obligation by the construction of a complete mathematical proof.

A piece of a packet. When a router is forwarding an IP packet to a network with a Maximum Transmission Unit smaller than the packet size, it is forced to break up that packet into multiple fragments. These fragments will be reassembled by the IP layer at the destination host. When a network receives a packet larger than its maximum allowable packet size, it breaks it up into two or more fragments. These fragments are each assigned a size (corresponding to the length of the fragment) and an offset (corresponding to the starting location of the fragment).

A shared connection medium that uses packet-switching technology to establish virtual circuits for customers. A switching interface that operates in packet mode. Generally regarded as the replacement for X. 25.

A measurement of the number of wave oscillations within a specific time identified using the unit Hertz (Hz), or oscillations per second. Radio waves have a frequency between 3 Hz and 300 GHz. The rate at which an electromagnetic waveform alternates, usually measured in Hertz.

(1) File Transfer Protocol. (2) Trusted path/channels functional class. File Transfer Protocol

Segment of security testing in which advertised security mechanisms of an information system are tested under operational conditions. The segment of security testing in which the advertised security mechanisms of the system are tested, under operational conditions, for correct operation.

A networking device that connects networks that are using different network protocols. A product that enables two dissimilar networks to communicate or interface with each other. In the IP community, an older term referring to a routing device. Today, the term “router” is used to describe nodes that perform this function, and “gateway” refers to a specialpurpose device that performs an application layer conversion of information from one protocol stack to another. Compare with router. Interface providing a compatibility between networks by converting transmission speeds, protocols, codes, or security measures.

The globally interconnected, endtoend set of information capabilities, associated processes and personnel for collecting, processing, storing, disseminating, and managing information on demand to warfighters, policy makers, and support personnel. The GiG includes all owned and leased communications and computing systems, services, software (including applications), data, security services, and other associated services necessary to achieve Information Superiority. The globally interconnected, endtoend set of information capabilities, associated processes, and personnel for collecting, processing, storing, disseminating, and managing information on demand to war fighters, policy makers, and support personnel. (DoD Directive 8100. 1, 19 Sept. 2002)