Title :
Narrowing terminates for encryption
Author :
Millen, Jonatham K. ; Ko, Hai-Ping
Author_Institution :
Mitre Corp., Bedford, MA, USA
Abstract :
Many techniques for protocol analysis use term replacement rules to express the reduction properties of symbolic encryption operations. Some approaches must solve equations in those operators, using sequences of narrowing steps. It is shown that every infinite sequence of narrowing steps for popular abstract encryption operators has a loop, and hence there is a terminating algorithm to solve such equations by searching all sequences of narrowing steps
Keywords :
access protocols; cryptography; encryption; infinite sequence; narrowing steps; popular abstract encryption operators; protocol analysis; reduction properties; symbolic encryption operations; term replacement rules; terminating algorithm; Algorithm design and analysis; Cryptography; Equations; Government; Logic; Protocols; Public key; Security; Termination of employment;
Conference_Titel :
Computer Security Foundations Workshop, 1996. Proceedings., 9th IEEE
Conference_Location :
Kenmare
Print_ISBN :
0-8186-7522-5
DOI :
10.1109/CSFW.1996.503689
