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://www4.in.tum.de/~urbanc/cgi-bin/repos.cgi/prio">here</A>. |
48 <A HREF="http://talisker.inf.kcl.ac.uk/~urbanc/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><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
52 <P> |
53 <!-- hhmts start --> |
53 <!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
54 Last modified: Thu Feb 13 20:24:23 CET 2012 |
54 <!-- hhmts start --> Last modified: Thu May 5 10:20:23 BST 2016 <!-- hhmts end --> |
55 <!-- hhmts end --> |
|
56 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
55 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
57 </BODY> |
56 </BODY> |
58 </HTML> |
57 </HTML> |