The Nance is the Thing
The Nance is the Thing. Iliano Cervesato, Nancy Durgin, Patrick Lincoln, John Mitchell, Andre Scedrov. Goals. State and prove general properties of security protocols, e.g., Corrupt principal can be simulated by intruder Error can be found with < k honest principals
382 views • 29 slides