An Agent-Based System to Support Assurance of Security Requirements | IEEE Conference Publication | IEEE Xplore