Automatic detection and demonstrator generation for information flow leaks in object-oriented programs.
Computers & Security(2017)
摘要
•Automatic detection of information flow (IF) leaks.•Support for IF policies: noninterference, declassification, information erasure.•Generation of demonstrator code for found leaks as JUnit tests.•Approach evaluation using micro benchmarks and a case study about E-Voting.
更多查看译文
关键词
Test generation,Symbolic execution,Information flow,Declassification,Information erasure,Bug finding
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要