A Query based Formal Security Analysis Framework for Enterprise LAN | IEEE Conference Publication | IEEE Xplore