CS 9622 - Fall 2017 : Security as a non-functional software system requirement