Software Inspections Using Guided Checklists to Ensure Security Goals | IEEE Conference Publication | IEEE Xplore