A Formal Integrity Framework with Application to a Secure Information ATM (SIATM)
Abstract
Information Security is traditionally treated in three main categories: Confidentiality, Integrity, and Availability. While much work has been done on modelling Confidentiality and Availability, aspects involving comprehensive modelling and quality of data integrity in complex systems appear to be, on a relative scale, much less well understood and implemented. Further, most work on Integrity and resultant implementations seems to have focussed more on a matters related to source authentication and transmission assurance. However, the quality of data aspect is becoming more critical for attention, given the increasing levels of automation of information fusion and data transformation in a globalised Cyberspace. In this paper, we survey the existing integrity models and identify shortcomings of these with regard to a general integrity framework encompassing the quality of data aspect. We then propose and formally model a new framework, illustrating the approach with reference to use cases built around the Secure Information ATM (SIATM) - a highly accreditable security system currently under development.
Document Details
- Document Type
- Technical Report
- Publication Date
- Oct 01, 2012
- Accession Number
- ADA577291
Entities
People
- Benjamin Long
- Mark Anderson
- Paul Montague
Organizations
- Defence Science and Technology Group