equal
deleted
inserted
replaced
42 efficiently implement this protocol. Earlier correct implementations |
42 efficiently implement this protocol. Earlier correct implementations |
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 |
47 The source code can be downloaded |
|
48 <A HREF="http://www4.in.tum.de/~urbanc/cgi-bin/repos.cgi/prio">here</A>. |
48 <BR><BR><BR><BR> |
49 <BR><BR><BR><BR> |
49 |
50 |
50 </TABLE> |
51 </TABLE> |
51 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
52 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
52 <!-- hhmts start --> |
53 <!-- hhmts start --> |
53 Last modified: Thu Feb 28 20:24:23 CET 2008 |
54 Last modified: Thu Feb 13 20:24:23 CET 2012 |
54 <!-- hhmts end --> |
55 <!-- hhmts end --> |
55 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
56 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
56 </BODY> |
57 </BODY> |
57 </HTML> |
58 </HTML> |