Security-by-construction in web applications development via database annotations
Keywords: نمودار وابستگی برنامه; Web applications security; Secure information flow; Program dependence graph; Database annotation; Security by construction