Danilo Valeros Bernardo, Doan B. Hoang: Formalization and Information-Theoretic Soundness in the Development of Security Architecture for Next Generation Network Protocol - UDT. FGIT-SecTech 2011: 183-194