A proof of secrecy for a network security model | IEEE Conference Publication | IEEE Xplore