Specifying Secure Transport Channels | IEEE Conference Publication | IEEE Xplore