Encryption

Each year the quantity of information recorded about the world increases, and also as a proportion of the total knowledge, the rate increases. Encoding via passwords and private keys provides a level of security which seems adequate at the moment, although the great overhead burden of extensive encrypting means that there may well be chinks in the armour where performance is seen as desirable.

Key management, private key protection and key disabling will be a central part of the rollout of the design of secure systems. For testing encrption models, the automated theorem proving software product from ANL called OTTER can be used to test for models.