A Formal Model for Network-Wide Security Analysis | IEEE Conference Publication | IEEE Xplore