Compositional Information Flow Monitoring for Reactive Programs
2022 IEEE 7TH EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY (EUROS&P 2022)（2022）
关键词
knowledge-based security guarantees,compositional information flow monitoring,reactive programs,runtime information flow control mechanisms,multiexecution,mobile applications,IFC enforcement mechanisms,Web
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要