-authentication between two co-operating hosts. The program and its
-protocol are deliberately very simple, to make analysing them easy and
-to help build trust rapidly in the system.
+authentication between co-operating hosts. The program and its protocol
+are deliberately very simple, to make analysing them easy and to help
+build trust rapidly in the system.