Model Checking Security Vulnerabilities in Software Design | IEEE Conference Publication | IEEE Xplore