National Archives of the Netherlands (Ministry of Education, Culture and Science)

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