Definitions and Analysis of Integrity in Strand Spaces Model | IEEE Conference Publication | IEEE Xplore