James_W.__Gray
A logical approach to multilevel security of probabilistic systems
Epistemology of information flow in the multilevel security of probabilistic systems
On the Clark-Jacob Version of SPLICE/AS
Provable security for cryptographic protocols|exact analysis and engineering applications
Using temporal logic to specify and verify cryptographic protocols (progress report