equal
deleted
inserted
replaced
43 were criticised as too inefficient. Our formalisation is based on |
43 were criticised as too inefficient. Our formalisation is based on |
44 Paulson's inductive approach to verifying protocols. |
44 Paulson's inductive approach to verifying protocols. |
45 <BR><BR> |
45 <BR><BR> |
46 |
46 |
47 The source code can be downloaded |
47 The source code can be downloaded |
48 <A HREF="http://talisker.inf.kcl.ac.uk/cgi-bin/repos.cgi/pip/">here</A>. |
48 <A HREF="http://talisker.nms.kcl.ac.uk/cgi-bin/repos.cgi/pip/">here</A>. |
49 <BR><BR><BR><BR> |
49 <BR><BR><BR><BR> |
50 |
50 |
51 </TABLE> |
51 </TABLE> |
52 <P> |
52 <P> |
53 <!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
53 <!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |