SPAN AVISPA中要加密的表达式无效

Question

有人能纠正我在第15行做错了什么吗？它产生了：

%% Syntax error: Line 15, Col 42 (offset 538-538, string ")")
%% Syn.Err(901): invalid expression to be encrypted

第15行的代码是：

State = 1 /\ Rcv({Di'.Ei'.Fi',N'}_SKey2) =|> State' = 2 /\ Ci' = exp(IDi, Ai) /\ Bi' = xor(Di',Ci') 
/\ Ri' = new() /\ M1' =h(Bi'.Ri') /\ M2' = xor(h(Bi'), Ri') /\ Snd(M1'.M2'.Fi.IDj) /\ secret({PW1}, 
sec1, {Ui})

Answer 1

首先，如果您修改/定义=|>右侧的值，我认为您应该将'=‘替换为':=’。

这应该会有帮助(?)