共 50 条
- [1] An Automated Quantitative Information Flow Analysis for Concurrent Programs QUANTITATIVE EVALUATION OF SYSTEMS (QEST 2022), 2022, 13479 : 43 - 63
- [2] Approximation and Randomization for Quantitative Information-Flow Analysis 2010 23RD IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF), 2010, : 3 - 14
- [3] Quantitative analysis of secure information flow via Probabilistic Semantics 2009 INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY, AND SECURITY (ARES), VOLS 1 AND 2, 2009, : 49 - 57
- [5] Algebra for Quantitative Information Flow RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE, RAMICS 2017, 2017, 10226 : 3 - 23
- [6] Quantitative Information Flow, with a View COMPUTER SECURITY - ESORICS 2011, 2011, 6879 : 588 - +
- [8] On the Foundations of Quantitative Information Flow FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, 2009, 5504 : 288 - 302
- [10] Information Theory and Security: Quantitative Information Flow FORMAL METHODS FOR QUANTITATIVE ASPECTS OF PROGRAMMING LANGUAGES, 2010, 6154 : 87 - 134