Implementing and Proving Security Services for the RARE/COSINE Community. - Susan Barry; Patricia McQuillan; Michael Purser; Jonathan D. Moffett (Comput. Networks ISDN Syst., 1993)