DocumentCode
1842473
Title
Narrowing terminates for encryption
Author
Millen, Jonatham K. ; Ko, Hai-Ping
Author_Institution
Mitre Corp., Bedford, MA, USA
fYear
1996
fDate
10-12 Jun 1996
Firstpage
39
Lastpage
46
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Security Foundations Workshop, 1996. Proceedings., 9th IEEE
Conference_Location
Kenmare
ISSN
1063-6900
Print_ISBN
0-8186-7522-5
Type
conf
DOI
10.1109/CSFW.1996.503689
Filename
503689
Link To Document