F Flashcards
failover
A backup operation that automatically switches to a standby system if the primary system fails or is taken offline. It is an important fault-tolerant function that provides system availability.
fail-safe
A functionality that ensures that when software or a system fails for any reason, it does not end up in a vulnerable state. After a failure, software might default to no access instead of allowing full control, which would be an example of a fail-safe measure.
Fibre Channel over Ethernet (FCoE)
A converged protocol that allows Fibre Channel frames to ride over Ethernet networks.
firmware
Software instructions that have been written into read-only memory (ROM) or a programmable ROM (PROM) chip.
formal security policy model
A mathematical statement of a security policy. When an operating system is created, it can be built upon a predeveloped model that lays out how all activities will take place in each and every situation. This model can be expressed mathematically, which is then translated into a programming language.
formal verification
Validating and testing of highly trusted systems. The tests are designed to show design verification, consistency between the formal specifications and the formal security policy model, implementation verification, consistency between the formal specifications, and the actual implementation of the product.