Abstract
This paper deals with the development of KEYMEX; an expert system for the design of key management schemes. The main task of KEYMEX is the detection of possible weaknesses in key management schemes. An outline of the structure of the system, which is based on semantical networks, is presented. The way in which the knowledge concerning the key management schemes to be tested is incorporated in the knowledge base of the expert system is discussed. Finally, the performance of the system is assessed on the basis of results which are obtained by application of the system to some well-known key management schemes and protocols.
Preview
Unable to display preview. Download preview PDF.
References
Identity-based information security management for personal computer networks, E. Okamoto, K. Tanaka, IEEE Selected Areas in Communications, Vol. 7, no 2, February 1989, pp. 290–294
Expert Systems applied to the analysis of key management schemes, D. Longley, Computers and Security, 6, 1987, pp. 54–67
The Interrogator: protocol security analysis, J.K. Millen, S.C. Clark, S.B. Freedman, IEEE Software Eng., Vol. SE-13, no 2, February 1987, pp. 274–288
Automated analysis of cryptograms, B.R. Schatz, Cryptologia, April 1977, pp. 116–142
The automated analysis of substitution ciphers, J.M. Caroll, L. Robbins, Cryptologia, Vol. 10, no 4, October 1986, pp. 193–209
The automated cryptanalysis of polyalphabetic ciphers, J.M. Caroll, L. Robbins, Cryptologia, Vol. 11, no 4, October 1987, pp. 193–205
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
van der Lubbe, J.C.A., Boekee, D.E. (1990). KEYMEX: An expert system for the design of key management schemes. In: Seberry, J., Pieprzyk, J. (eds) Advances in Cryptology — AUSCRYPT '90. AUSCRYPT 1990. Lecture Notes in Computer Science, vol 453. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0030354
Download citation
DOI: https://doi.org/10.1007/BFb0030354
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53000-8
Online ISBN: 978-3-540-46297-2
eBook Packages: Springer Book Archive