ByNobleID
    A computational analysis of the Needham-Schroeder-(Lowe) protocol | NobleID