%A Ninh Thuan Truong %A Viet Ha Nguyen %J International journal of software engineering and knowledge engineering (IJSEKE) %T An Approach to Checking Security Policy in Software Development %C Hanoi, Vietnam %D 2013 %L SisLab767