Kerberos Algorithm

[Joaquin Lara Beltran]

Somebody can help me?

i have installed Kerberos without troubles, everything works fine, so now. my teacher wants the Kerberos Algorithm. Where can i found it! Thanks.  From jlara at etabasco.gob.mx Mon Aug  2 11:34:42 2004
Received: from pacific-carrier-annex.mit.edu (PACIFIC-CARRIER-ANNEX.MIT.EDU
	[18.7.21.83])
	by pch.mit.edu (8.12.8p2/8.12.8) with ESMTP id i72FYal1013737
	for <kerberos at PCH.mit.edu>; Mon, 2 Aug 2004 11:34:42 -0400 (EDT)
Received: from bsd.etabasco.gob.mx (customer-148-235-133-85.uninet-ide.com.mx
	[148.235.133.85] (may be forged))i72FYX4o022650
	for <kerberos at mit.edu>; Mon, 2 Aug 2004 11:34:33 -0400 (EDT)
Received: (qmail 80174 invoked from network); 2 Aug 2004 15:32:44 -0000
Received: from unknown (HELO xbox) (jlara at 192.168.2.234)
  by 192.168.2.5 with SMTP; 2 Aug 2004 15:32:44 -0000
Message-ID: <003901c478a6$2378a570$ea02a8c0 at xbox>
From: "Joaquin Lara Beltran" <jlara at etabasco.gob.mx>
To: <kerberos at mit.edu>
Date: Mon, 2 Aug 2004 10:34:02 -0500
MIME-Version: 1.0
X-Priority: 3
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook Express 6.00.2800.1437
X-MIMEOLE: Produced By Microsoft MimeOLE V6.00.2800.1441
X-Mailman-Approved-At: Mon, 02 Aug 2004 14:40:32 -0400
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
X-Content-Filtered-By: Mailman/MimeDel 2.1
Subject: Kerberos Simulation
X-BeenThere: kerberos at mit.edu
X-Mailman-Version: 2.1
Precedence: list
Reply-To: Joaquin Lara Beltran <jlara at etabasco.gob.mx>
List-Id: The Kerberos Authentication System Mailing List <kerberos.mit.edu>
List-Help: <mailto:kerberos-request at mit.edu?subject=help>
List-Post: <mailto:kerberos at mit.edu>
List-Subscribe: <https://mailman.mit.edu/mailman/listinfo/kerberos>,
	<mailto:kerberos-request at mit.edu?subject=subscribe>
List-Archive: <http://mailman.mit.edu/pipermail/kerberos>
List-Unsubscribe: <https://mailman.mit.edu/mailman/listinfo/kerberos>,
	<mailto:kerberos-request at mit.edu?subject=unsubscribe>
X-List-Received-Date: Mon, 02 Aug 2004 15:34:42 -0000

Hi everyone,
    I'm a student at University of Mexico, i have a project that need to simulate kerberos in promela language.

   .Anyone have any sugguestion where I can find those information? 

Any help is greatly appreciated. Thanks in advance.

Regards,
Joaquin.