An encapsulated authentication logic for reasoning about key distribution protocols | IEEE Conference Publication | IEEE Xplore