%A Thanh Nhan Luong
%A Van Khanh To
%A Ninh Thuan Truong
%T Checking Compliance of Program with Secure UML Model
%P 489-498
%B Advanced Topics in Intelligent Information and Database Systems
%D 2017
%C Kanazawa, Japan
%I Springer
%L SisLab2541