Journal article

On Refinement-Closed Security Properties and Nondeterministic Compositions

T Murray, G Lowe

Electronic Notes in Theoretical Computer Science | Elsevier | Published : 2009

Citation metrics