11.1. Authentication Basics
Subjects act on behalf of some other, external entity. The identity of that entity controls the actions that its associated subjects may take. Hence, the subjects must bind to the identity of that external entity.
Definition 111.
Authentication is the binding of an identity to a subject.
The external entity must provide information to enable the system to confirm its identity. This information comes from one (or more) of the following.
What the entity knows (such as passwords or secret information) What the entity has (such as a badge or card) What the entity is (such as fingerprints or retinal characteristics) Where the entity is (such as in front of a particular terminal)
The authentication process consists of obtaining the authentication information from an entity, analyzing the data, and determining if it is associated with that entity. This means that the computer must store some information about the entity. It also suggests that mechanisms for managing the data are required. We represent these requirements in an authentication system [106] consisting of five components.
The set A of authentication information is the set of specific information with which entities prove their identities. The set C of complementary information is the set of information that the system stores and uses to validate the authentication information. The set F of complementation functions that generate the complementary information from the authentication information. That is, for f F, f: A C. The set L of authentication functions that verify identity. That is, for l L, l: A x C { true, false }. The set S of selection functions that enable an entity to create or alter the authentication and complementary information.
|
EXAMPLE:
A user authenticates himself by entering a password, which the system compares with the cleartext passwords stored online. Here, A is the set of strings making up acceptable passwords, C = A, F = { I }, and L = { eq }, where I is the identity function and eq is true if its arguments are the same and false if they are not. |
 |