- A: authentication information that proves identity
- C: complementary information stored on a computer and used to validate authentication
- F: complementation singleton function f ∈ F , f : A-> C (Hash Function, Salting)
- L: authentication functions that verify identity for l ∈ L , l : A x C -> {True, False}
- S: selection functions enabling entity to create or alter information in A or C (function to set/change password)
Authentication System Notion