6 citations · 10 across the 6 of their papers we have counts for
1 paper · 1 filter
Anupam Datta, Joseph Y. Halpern, John C. Mitchell +2
We present a formal logic for quantitative reasoning about security properties of network protocols. The system allows us to derive concrete security bounds that can be used to cho…