39 citations · 127 across the 31 of their papers we have counts for
1 paper · 2 filters
Riccardo Pucella
Epistemic concepts, and in some cases epistemic logic, have been used in security research to formalize security properties of systems. This survey illustrates some of these uses b…