Finding access control bugs in web applications with CanCheck-Reference-Cited by-同舟云学术

Finding access control bugs in web applications with CanCheck

Published:2016-08-25 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering
language:
Short-container-title:

Author:

Bocić Ivan¹,Bultan Tevfik¹

Affiliation:

1. University of California at Santa Barbara, USA

Funder

National Science Foundation

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2970276.2970350

Reference39 articles.

1. ekremkaraca/awesome-rails: A collection / list of awesome projects sites made with Rails. ekremkaraca/awesome-rails: A collection / list of awesome projects sites made with Rails.

2. Boogie: A Modular Reusable Verifier for Object-Oriented Programs

3. Inductive verification of data model invariants for web applications

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

1. Detecting conflict of heterogeneous access control policies;Digital Communications and Networks;2022-10

2. Quantifying permissiveness of access control policies;Proceedings of the 44th International Conference on Software Engineering;2022-05-21

3. TRADER;Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering;2020-06-27

4. Access Control Vulnerabilities Detection for Web Application Components;2020 IEEE 6th Intl Conference on Big Data Security on Cloud (BigDataSecurity), IEEE Intl Conference on High Performance and Smart Computing, (HPSC) and IEEE Intl Conference on Intelligent Data and Security (IDS);2020-05

5. MODE: automated neural network model debugging via state differential analysis and input selection;Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2018-10-26