Symbolic Analysis of the Proposed UDT Security Architecture | IEEE Conference Publication | IEEE Xplore