Capturing parallel attacks within the data independence framework | IEEE Conference Publication | IEEE Xplore