diff --git a/spdl/SPORE/ccitt509-1c.spdl b/spdl/SPORE/ccitt509-1c.spdl index 2317a69..e6fc1db 100644 --- a/spdl/SPORE/ccitt509-1c.spdl +++ b/spdl/SPORE/ccitt509-1c.spdl @@ -29,7 +29,7 @@ protocol ccitt5091c(I,R) var Ta: Timestamp; var Na,Xa,Ya: Nonce; - read_2(I,R, I,{Ta, Na, R, Xa,{Ya,{hash(Ya)}sk(I)}pk(R)}sk(I)); + read_1(I,R, I,{Ta, Na, R, Xa,{Ya,{hash(Ya)}sk(I)}pk(R)}sk(I)); claim_3(R,Nisynch); # There should also be Fresh Xa and Fresh Ya claims here }