zbMATH — the first resource for mathematics

Applications of term rewriting to cryptographic protocol analysis. (Overview of the invited talk). (English) Zbl 0962.68057
Futatsugi, Kokichi, The 3rd international workshop on rewriting logic and its applications, RWLW. Kanazawa City Cultural Hall, Kanzawa, Japan, September 18-20, 2000. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 36, 6 p., electronic only (2000).
Summary: Cryptographic protocols for key distribution and authentication play an important role in Internet security. Certain flaws in these protocols can be discovered using term rewriting models to express the protocol, the malicious network environment, and vulnerability search strategies.
For the entire collection see [Zbl 0957.00046].

68P25 Data encryption (aspects in computer science)
68Q42 Grammars and rewriting systems
Full Text: Link