Titel | A Formal Method for Analyzing the Authenticity Properties of Procedures for Preserving Digital Records |
Publicatietype | Congres presentatie |
Publicatiejaar | 2002 |
Auteurs | Underwood, W. E. |
Publicatiedatum | 12/2002 |
Uitgever | Georgia Tech Research Institute |
Plaats uitgave | Atlanta (GA) |
Taal | EN |
RefMan | 10000 |
Samenvatting | A formal method is described for analyzing records management and archival procedures and systems to determine whether they maintain and preserve authentic records over time. The analysis procedure is based on a formalization of archival and diplomatic concepts and principles as definitions and axioms. Concepts such as digital record, record series, and archival integrity are defined and axioms characterizing authentic documents and authentic records are formulated. A procedure is described for storing and retrieving the digital records of a record creator that incorporates elements to ensure the integrity and authenticity of the records. The theories of record integrity and authenticity are used with theories of communications security and belief to prove that the procedure achieves its goal of preserving the integrity and authenticity of the digital records. This demonstrates the formal method of analysis. |
Aantekeningen | In: Proceedings of the 2002 International Conference on Digital Archiv Technologies (ICDAT2002),December 19-20, 2002, Academia Sinica, Taipei, Taiwan, pp. 53-64. |
URL | http://perpos.gtri.gatech.edu/publications/ICDAT2002.pdf |
Citation Key | 2723 |
Informatiemodel:
- 13 keer gelezen
- Google Scholar
- BibTeX