?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.au=Luong%2C+Thanh+Nhan&rft.aulast=Luong&rft.aufirst=Thanh+Nhan&rft.date=2020&rft.issn=0218-1940&rft.atitle=VeRA%3A+Verifying+RBAC+and+authorization+constraints+models+of+web+applications&rft.title=International+journal+of+software+engineering+and+knowledge+engineering+(IJSEKE)&rft.genre=article