非表示:
キーワード:
-
要旨:
We study and further develop two language-based techniques for
analyzing security protocols. One is based on a typed process
calculus; the other, on untyped logic programs. Both focus
on secrecy properties. We contribute to
these two techniques, in particular by extending the former with a
flexible, generic treatment of many cryptographic operations.
We also establish an equivalence between the two techniques.