[22109] in Kerberos
Kerberos Simulation
daemon@ATHENA.MIT.EDU (Joaquin Lara Beltran)
Mon Aug 2 14:40:47 2004
Message-ID: <003901c478a6$2378a570$ea02a8c0@xbox>
From: "Joaquin Lara Beltran" <jlara@etabasco.gob.mx>
To: <kerberos@mit.edu>
Date: Mon, 2 Aug 2004 10:34:02 -0500
MIME-Version: 1.0
Content-Type: text/plain;
charset="iso-8859-1"
Reply-To: Joaquin Lara Beltran <jlara@etabasco.gob.mx>
Errors-To: kerberos-bounces@mit.edu
Content-Transfer-Encoding: 8bit
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.
________________________________________________
Kerberos mailing list Kerberos@mit.edu
https://mailman.mit.edu/mailman/listinfo/kerberos
