Model-based security analysis for IMS network | IEEE Conference Publication | IEEE Xplore