1. A method for managing and analyzing security requirements in reusable models, the method comprising: reading at least one functional model; reading at least one security implementation model; reading at least one requirement model; reading meta models of the models; analyzing a correspondence between the functional model, security implementation model, and the requirements model, the correspondence indicating that requirements defined in the requirement model match with security objectives implemented by controls defined by the security implementation model; determining whether correspondence is or is not given based on the analysis of the correspondence; and generating evidence based on the analysis of the correspondence and the determination.