eprintid: 767 rev_number: 11 eprint_status: archive userid: 5 dir: disk0/00/00/07/67 datestamp: 2015-07-22 13:55:38 lastmod: 2016-05-20 09:18:15 status_changed: 2016-05-20 09:18:15 type: article metadata_visibility: show creators_name: Truong, Ninh Thuan creators_name: Nguyen, Viet Ha creators_id: thuannt@vnu.edu.vn creators_id: hanv@vnu.edu.vn title: An Approach to Checking Security Policy in Software Development ispublished: pub subjects: IT divisions: fac_fit date: 2013 date_type: published full_text_status: none pres_type: paper publication: International journal of software engineering and knowledge engineering (IJSEKE) event_title: International journal of software engineering and knowledge engineering (IJSEKE) event_location: Hanoi, Vietnam event_type: conference refereed: TRUE issn: 0218-1940 citation: 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