Checking Compliance of Program with SecureUML Model.

Thanh-Nhan Luong, Van-Khanh To, Ninh-Thuan Truong

Browse the full ACIIDS paper archive.