eprintid: 2541 rev_number: 8 eprint_status: archive userid: 329 dir: disk0/00/00/25/41 datestamp: 2017-06-28 12:50:48 lastmod: 2017-06-28 12:50:48 status_changed: 2017-06-28 12:50:48 type: conference_item metadata_visibility: show creators_name: Luong, Thanh Nhan creators_name: To, Van Khanh creators_name: Truong, Ninh Thuan creators_id: khanhtv@vnu.edu.vn creators_id: thuantn@vnu.edu.vn title: Checking Compliance of Program with Secure UML Model ispublished: pub subjects: IT divisions: fac_fit date: 2017-04 date_type: published publisher: Springer full_text_status: none pres_type: paper pagerange: 489-498 event_title: 9th Asian Conference on Intelligent Information and Database Systems event_location: Kanazawa, Japan event_dates: 3-5 April 2017 event_type: conference refereed: TRUE book_title: Advanced Topics in Intelligent Information and Database Systems citation: 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.