Security Goal Indicator Trees: A Model of Software Features that Supports Efficient Security Inspection | IEEE Conference Publication | IEEE Xplore