next up previous
Up: Using Isabelle to Prove Previous: Appendix: Specifying Kerberos in

About this document ...

Using Isabelle to Prove Properties of the Kerberos Authentication System

This document was generated using the LaTeX2HTML translator Version 96.1 (Feb 5, 1996) Copyright © 1993, 1994, 1995, 1996, Nikos Drakos, Computer Based Learning Unit, University of Leeds.

The translation was initiated by Giampaolo Bella on Mon Aug 4 18:43:12 BST 1997

Giampaolo Bella
Mon Aug 4 18:43:12 BST 1997