Pattern-based security requirements specification using ontologies and boilerplates | IEEE Conference Publication | IEEE Xplore