Improving Techniques for Proving Undecidability of Checking Cryptographic Protocols.

Zhiyao Liang Rakesh M. Verma

Published in: ARES (2008)

Keyphrases

cryptographic protocols
standard model
description logics
security protocols
sensor networks
end to end
security properties
locally decodable codes