Modeling Network Security Services in Tactical Networks | IEEE Conference Publication | IEEE Xplore