Secrecy for secutity protocols

we will provide undecidability results for the secrecy problem using reductions from the halting problem for two-counter machine problem.

کلیدواژه ها:

Two-counter machine ، security protocols ، secrecy ، undecidability ، reduction