Symbolic Analysis of the Proposed UDT Security Architecture.

Danilo Valeros Bernardo, Doan B. Hoang

Browse the full AINA paper archive.