Title :
The basic integrity theorem
Author_Institution :
Oxford Univ. Comput. Lab., UK
Abstract :
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
Keywords :
data integrity; security of data; functionality; integrity theorem; unauthorised modification; Jacobian matrices; Laboratories; Postal services; Safety;
Conference_Titel :
Computer Security Foundations Workshop IV, 1991. Proceedings
Conference_Location :
Franconia, NH
Print_ISBN :
0-8186-2215-6
DOI :
10.1109/CSFW.1991.151573
