relation: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/767/ title: An Approach to Checking Security Policy in Software Development creator: Truong, Ninh Thuan creator: Nguyen, Viet Ha subject: Information Technology (IT) date: 2013 type: Article type: PeerReviewed identifier: 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