U bent hier

A Formal Method for Analyzing the Authenticity Properties of Procedures for Preserving Digital Records

TitelA Formal Method for Analyzing the Authenticity Properties of Procedures for Preserving Digital Records
PublicatietypeCongres presentatie
Publicatiejaar2002
AuteursUnderwood, W. E.
Publicatiedatum12/2002
UitgeverGeorgia Tech Research Institute
Plaats uitgaveAtlanta (GA)
TaalEN
RefMan10000
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.

URLhttp://perpos.gtri.gatech.edu/publications/ICDAT2002.pdf
Citation Key2723

Informatiemodel:

Datum eerste publicatie: 
dinsdag, 24 november 2015 - 9:30pm
Share/Deel