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 [EMAIL PROTECTED] https://mailman.mit.edu/mailman/listinfo/kerberos