The data integrity problem and multi-layered document integrity
Data integrity is a fundamental aspect of computer security that has attracted much interest in recent decades. Despite a general consensus for the meaning of the problem, the lack of a formal definition has led to spurious claims such as "tamper proof", "prevent tampering", and...
| Main Author: | |
|---|---|
| Format: | Thesis (University of Nottingham only) |
| Language: | English |
| Published: |
2007
|
| Online Access: | http://eprints.nottingham.ac.uk/10538/ http://eprints.nottingham.ac.uk/10538/1/bxm-thesis-corrected.pdf |
| id |
nottingham-10538 |
|---|---|
| recordtype |
eprints |
| spelling |
nottingham-105382017-10-14T15:24:28Z http://eprints.nottingham.ac.uk/10538/ The data integrity problem and multi-layered document integrity Moss, Ben Data integrity is a fundamental aspect of computer security that has attracted much interest in recent decades. Despite a general consensus for the meaning of the problem, the lack of a formal definition has led to spurious claims such as "tamper proof", "prevent tampering", and "tamper protection", which are all misleading in the absence of a formal definition. Ashman recently proposed a new approach for protecting the integrity of a document that claims the ability to detect, locate, and correct tampering. If determining integrity is only part of the problem, then a more general notion of data integrity is needed. Furthermore, in the presence of a persistent tamperer, the problem is more concerned with maintaining and proving the integrity of data, rather than determining it. This thesis introduces a formal model for the more general notion of data integrity by providing a formal problem semantics for its sub-problems: detection, location, correction, and prevention. The model is used to reason about the structure of the data integrity problem and to prove some fundamental results concerning the security and existence of schemes that attempt to solve these sub-problems. Ashman's original multi-layered document integrity (MLDI) paper [1] is critically evaluated, and several issues are highlighted. These issues are investigated in detail, and a series of algorithms are developed to present the MLDI schemes. Several factors that determine the feasibility of Ashman's approach are identified in order to prove certain theoretical results concerning the efficacy of MLDI schemes. 2007 Thesis (University of Nottingham only) NonPeerReviewed application/pdf en http://eprints.nottingham.ac.uk/10538/1/bxm-thesis-corrected.pdf Moss, Ben (2007) The data integrity problem and multi-layered document integrity. PhD thesis, University of Nottingham. |
| repository_type |
Digital Repository |
| institution_category |
Local University |
| institution |
University of Nottingham Malaysia Campus |
| building |
Nottingham Research Data Repository |
| collection |
Online Access |
| language |
English |
| description |
Data integrity is a fundamental aspect of computer security that has attracted much interest in recent decades. Despite a general consensus for the meaning of the problem, the lack of a formal definition has led to spurious claims such as "tamper proof", "prevent tampering", and "tamper protection", which are all misleading in the absence of a formal definition.
Ashman recently proposed a new approach for protecting the integrity of a document that claims the ability to detect, locate, and correct tampering. If determining integrity is only part of the problem, then a more general notion of data integrity is needed. Furthermore, in the presence of a persistent tamperer, the problem is more concerned with maintaining and proving the integrity of data, rather than determining it.
This thesis introduces a formal model for the more general notion of data integrity by providing a formal problem semantics for its sub-problems: detection, location, correction, and prevention. The model is used to reason about the structure of the data integrity problem and to prove some fundamental results concerning the security and existence of schemes that attempt to solve these sub-problems.
Ashman's original multi-layered document integrity (MLDI) paper [1] is critically evaluated, and several issues are highlighted. These issues are investigated in detail, and a series of algorithms are developed to present the MLDI schemes. Several factors that determine the feasibility of Ashman's approach are identified in order to prove certain theoretical results concerning the efficacy of MLDI schemes. |
| format |
Thesis (University of Nottingham only) |
| author |
Moss, Ben |
| spellingShingle |
Moss, Ben The data integrity problem and multi-layered document integrity |
| author_facet |
Moss, Ben |
| author_sort |
Moss, Ben |
| title |
The data integrity problem and multi-layered document integrity |
| title_short |
The data integrity problem and multi-layered document integrity |
| title_full |
The data integrity problem and multi-layered document integrity |
| title_fullStr |
The data integrity problem and multi-layered document integrity |
| title_full_unstemmed |
The data integrity problem and multi-layered document integrity |
| title_sort |
data integrity problem and multi-layered document integrity |
| publishDate |
2007 |
| url |
http://eprints.nottingham.ac.uk/10538/ http://eprints.nottingham.ac.uk/10538/1/bxm-thesis-corrected.pdf |
| first_indexed |
2018-09-06T10:32:47Z |
| last_indexed |
2018-09-06T10:32:47Z |
| _version_ |
1610853874859507712 |