ANU: The Australian National University
_____________________________________________________________________
[ANU] [FEIT] [DCS] [Jim Grundy] [Research] [Teaching] [Publications] [Software] [CV]
_____________________________________________________________________

Trustworthy Storage and Exchange of Theorems

Reference

Jim Grundy. Trustworthy Storage and Exchange of Theorems. Technical Report 1. Turku Centre for Computer Science, Lemminkäisenkatu 14A, 20520 Turku, Finland. April 1996.

Abstract

A large effort is usually required to have a theorem prover establish a complex theorem. Having invested this effort, how can we store the result for later use, or communicate it to others while preserving our trust in its validity? This paper discusses the use of digital signatures to store and exchange theorems in a secure way.

BibTeX

Here is an appropriate BibTeX entry: 
  @TECHREPORT{Grundy:1996:TSE,
    author      = "Jim Grundy",
    title       = "Trustworthy Storage and
                   Exchange of Theorems",
    institution = "Turku Centre for Computer Science",
    address     = "Lemmink{\"a}isenkatu 14A,
                   20520 Turku, Finland",
    month       = apr,
    year        = 1996,
    type        = "Technical Report",
    number      = "1"}

Where To Find it

You can down-load a copy of the report; or, if you would like a paper copy you should write to the author. If you want to try to find a copy in a library, the following might be useful:
Title: Trustworthy Storage and Exchange of Theorems
Author: Jim Grundy
Copyright: 1996
ISBN: 951-650-728-X
Series: TUCS Technical Reports
Volume: 1
ISSN: 1239-1891
Publisher: Turku Centre for Computer Science
Address: Lemminkäisenkatu 14A, 20520 Turku, Finland
_____________________________________________________________________
[ANU] [FEIT] [DCS] [Jim Grundy] [Research] [Teaching] [Publications] [Software] [CV]
_____________________________________________________________________
Feedback & Queries: Jim Grundy
Date Last Modified: Thu 11 Nov 1999
Universal Ressource Locator: file:/home/jgrundy/www//Publications/tucstr1.html