The basic integrity theorem

摘要

A mathematical structure is built to represent integrity, where the word is used in the sense of preventing unauthorised modification of data. The author proves an important theorem relating functionality and integrity; the theorem tells one about the methods one may use to develop systems that satisfy integrity properties.