Computer Sciences Commons^™

Maia: A Language For Mandatory Integrity Controls Of Structured Data, Wassnaa Al-Mawee, Paul Bonamy, Steven Carr, Jean Mayo

Michigan Tech Publications

The integrity of systems files is necessary for the secure functioning of an operating system. Integrity is not generally discussed in terms of complete computer systems. Instead, integrity issues tend to be either tightly coupled to a particular domain (e.g. database constraints), or else so broad as to be useless except after the fact (e.g. backups). Often, file integrity is determined by who modifies the file or by a checksum. This paper focuses on a general model of the internal integrity of a file. Even if a file is modified by a subject with trust or has a valid checksum, …