Nationaal Archief (Ministerie van Onderwijs, Cultuur en Wetenschap)

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