FESR: A Framework for Eliciting Security Requirements Based on Integration of Common Criteria and Weakness Detection Formal Model | IEEE Conference Publication | IEEE Xplore