Formal Analysis of the API Proxy Problem.

Somesh Jha Mihai Christodorescu Anh Pham

Published in: CoRR (2023)

Keyphrases

formal analysis
application programming interface
source code
open source
ban logic
formal methods
third party
application developers
high level
expert systems
proxy servers
trusted third party
code snippets