Annotating Resources in Sequence Diagrams for Testing Web Security | IEEE Conference Publication | IEEE Xplore