The Community for Technology Leaders
Informatics, Balkan Conference in (2009)
Thessaloniki, Greece
Sept. 17, 2009 to Sept. 19, 2009
ISBN: 978-0-7695-3783-2
pp: 22-27
ABSTRACT
The complexity of the initial secrecy problem for protocols in restricted form, with bounded length messages, unbounded number of protocol sessions, bounded existentials, disequality tests and an intruder with existentials remained open. In this paper, we prove that the problem above is undecidable, using exactly the same setting and formalism as in the paper in that the problem was initially stated.To our knowledge, up to now there is no proof of undecidability of the open problem mentioned above that constructs a protocol (well-founded) in restricted form in multiset rewriting formalism.
INDEX TERMS
security protocol, secrecy problem, undecidability
CITATION

C. V. Bîrjoveanu, "Secrecy for Bounded Security Protocols: Disequality Tests and an Intruder with Existentials Lead to Undecidability," Informatics, Balkan Conference in(BCI), Thessaloniki, Greece, 2009, pp. 22-27.
doi:10.1109/BCI.2009.19
96 ms
(Ver 3.3 (11022016))