Compositional verification of integrity for digital stream signature protocols | IEEE Conference Publication | IEEE Xplore