A Static Analysis Approach to Verify Data Integrity of Web-based Software Systems

A Static Analysis Approach to Verify Data Integrity of Web-based Software Systems

연구 분야: Strategies

학회: 2024 IEEE International Conference on Advanced Networks and Telecommunications Systems (ANTS)

Web-based application plays an important role in our day-to-day activities. Such kinds of applications deal with large volumes of data access and data manipulation continuously. Data security is one of the prime concerns for data access. During any operation on data, it is important to preserve the data integrity to maintain security. In this work, we provide a static analysis approach to verify data integrity to ensure the data security of web-based applications. We used an abstract-based static analysis technique with the help of the powerset domain of interval to analyze the actual behavior of the system.