Establishing the security foundations for network protocol design | IEEE Conference Publication | IEEE Xplore