Compositional Logic for Proof of Correctness of Proposed UDT Security Mechanisms.

Danilo Valeros Bernardo, Doan B. Hoang

Browse the full AINA paper archive.