Automated detection of session management vulnerabilities in web applications | IEEE Conference Publication | IEEE Xplore