Specifying Dynamic Security Properties of Web Service Based Systems | IEEE Conference Publication | IEEE Xplore