Kapali Viswanathan Colin Boyd Ed Dawson An Analysis of Integrity Services in Protocols. 175-187 2001 conf/indocrypt/2001 INDOCRYPT https://doi.org/10.1007/3-540-45311-3_17 db/conf/indocrypt/indocrypt2001.html#ViswanathanBD01