relation: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/2541/ title: Checking Compliance of Program with Secure UML Model creator: Luong, Thanh Nhan creator: To, Van Khanh creator: Truong, Ninh Thuan subject: Information Technology (IT) publisher: Springer date: 2017-04 type: Conference or Workshop Item type: PeerReviewed identifier: Luong, Thanh Nhan and To, Van Khanh and Truong, Ninh Thuan (2017) Checking Compliance of Program with Secure UML Model. In: 9th Asian Conference on Intelligent Information and Database Systems, 3-5 April 2017, Kanazawa, Japan.