Defining Abstract Semantics for Static Dependence Analysis of Relational Database Applications-Reference-Cited by-同舟云学术

Defining Abstract Semantics for Static Dependence Analysis of Relational Database Applications

Published:2016 Issue: Volume: Page:151-171
ISSN:0302-9743
Container-title:Information Systems Security
language:
Short-container-title:

Author:

Jana Angshuman,Halder Raju

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-49806-5_8

Reference33 articles.

1. Advances in Intelligent Systems and Computing;BK Ahuja,2016

2. Bagnara, R., Hill, P.M., Zaffanella, E.: The ppl: toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems. Technical report Dipartimento di Matematica, Università di Parma, Italy (2006)

3. Baralis, E., Widom, J.: An algebraic approach to rule analysis in expert database systems (1994)

4. Chen, L., Minè, A., Cousot, P.: A sound floating-point polyhedra abstract domain. In: Proceeding of the PLS, pp. 3–18 (2008)

5. Cheney, J., Ahmed, A., Acar, U.A.: Provenance as dependency analysis. In: Proceeding of the ICDPL, pp. 138–152 (2007)

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Integrity Constraint Verification of Structured Query Language by Abstract Interpretation;2022 OITS International Conference on Information Technology (OCIT);2022-12

2. A Static Analysis Approach to Detect Confidentiality Leakage of Database Query Languages;Advances in Intelligent Systems and Computing;2021

3. Confidentiality Leakage Analysis of Database-Driven Applications;Communications in Computer and Information Science;2021

4. Extending Abstract Interpretation to Dependency Analysis of Database Applications;IEEE Transactions on Software Engineering;2020-05-01

5. Data-centric Refinement of Database-Database Dependency Analysis of Database Program;Proceedings of the 15th International Conference on Software Technologies;2020