Results (1)
Search Parameters:
Keyword: Information Flow AnalysisOpen AccessArticle
11 Pages, 1,062 KB 
Framework for the Formal Specification and Verification of Security Guidelines
Abstract:
Ensuring the compliance of developed software with general and application-specific security requirements is a challenging task due to the lack of automatic and formal means to lead this verification. In this paper, we present our approach that aims at integrating the formal specification and verification of security guidelines in early stages of the development lifecycle…
Read More(This article belongs to the SP4 (Special issue on Advancement in Engineering Technology 2017-18) & Section Information Systems in Computer Science (CIS))