Subject: Hello!who have the "Formal Authentication Model of Security Protocol Based on Intruder " codes?

From: "[email-masked]" <[email-masked]>
Date: Tue, 20 Nov 2001 8:49:41 +0800

hello!
I need codes about "Formal Authentication Model of Security Protocol Based on Intruder " 
who know or have them?some matrials also is important for me!
I am so nervous to programme these,wish to modify some codes to finish my tasks,
Thank you a lot!
   please contract with me!
                                                        yours Dav,Bob