From 0930556f2e9761101d1ba85224aff284620911c4 Mon Sep 17 00:00:00 2001 From: gijs Date: Tue, 10 May 2005 14:08:51 +0000 Subject: [PATCH] Fix the protocol name in denning-sacco-lowe --- spdl/SPORE/denning-sacco-lowe.spdl | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/spdl/SPORE/denning-sacco-lowe.spdl b/spdl/SPORE/denning-sacco-lowe.spdl index 98c9762..fde57ed 100644 --- a/spdl/SPORE/denning-sacco-lowe.spdl +++ b/spdl/SPORE/denning-sacco-lowe.spdl @@ -19,7 +19,7 @@ secret k: Function; usertype PseudoFunction; const dec: PseudoFunction; -protocol denningSacco(I,R,S) +protocol denningSaccoLowe(I,R,S) { role I { @@ -72,9 +72,9 @@ compromised k(Eve,Simon); # Note because the modelchecker does not support tickets this might not # be very useful -run denningSacco.I(Agent,Agent,Simon); -run denningSacco.R(Agent,Agent,Simon); -run denningSacco.S(Agent,Agent,Simon); -run denningSacco.I(Agent,Agent,Simon); -run denningSacco.R(Agent,Agent,Simon); -run denningSacco.S(Agent,Agent,Simon); +run denningSaccoLowe.I(Agent,Agent,Simon); +run denningSaccoLowe.R(Agent,Agent,Simon); +run denningSaccoLowe.S(Agent,Agent,Simon); +run denningSaccoLowe.I(Agent,Agent,Simon); +run denningSaccoLowe.R(Agent,Agent,Simon); +run denningSaccoLowe.S(Agent,Agent,Simon);