Security policy modeling for the next-generation packet switch | IEEE Conference Publication | IEEE Xplore