Security Weaknesses Detection by Symbolic Analysis of Scenarios | IEEE Conference Publication | IEEE Xplore