DMCA

On name generation and set-based analysis in the Dolev-Yao model (2002)

by Roberto M. Amadio , Witold Charatonik
Citations:57 - 1 self