Truong, Ninh Thuan and Nguyen, Viet Ha (2013) An Approach to Checking Security Policy in Software Development. International journal of software engineering and knowledge engineering (IJSEKE) . ISSN 0218-1940