Login / Signup
Run-time Monitoring and Formal Analysis of Information Flows in Chromium.
Lujo Bauer
Shaoying Cai
Limin Jia
Timothy Passaro
Michael Stroucken
Yuan Tian
Published in:
NDSS (2015)
Keyphrases
</>
formal analysis
information flows
information flow
emergency response
formal methods
agent model
organizational structure
decision support
team members
ban logic
distributed systems