DMCA

A framework for compositional verification of security protocols (2007)

by Suzana Andova , Cas Cremers , Kristian Gjøsteen , Sjouke Mauw , Stig F. Mjølsnes , Sasa Radomirović
Citations:23 - 2 self