?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.au=Luong%2C+Thanh+Nhan&rft.aulast=Luong&rft.aufirst=Thanh+Nhan&rft.date=April+2017&rft.title=Checking+Compliance+of+Program+with+Secure+UML+Model&rft.btitle=Advanced+Topics+in+Intelligent+Information+and+Database+Systems&rft.genre=proceeding