KEYMEX: An expert system for the design of key management schemes
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.
Unable to display preview. Download preview PDF.
- 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–294Google Scholar
- Expert Systems applied to the analysis of key management schemes, D. Longley, Computers and Security, 6, 1987, pp. 54–67Google Scholar
- 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–288Google Scholar
- Automated analysis of cryptograms, B.R. Schatz, Cryptologia, April 1977, pp. 116–142Google Scholar
- The automated analysis of substitution ciphers, J.M. Caroll, L. Robbins, Cryptologia, Vol. 10, no 4, October 1986, pp. 193–209Google Scholar
- The automated cryptanalysis of polyalphabetic ciphers, J.M. Caroll, L. Robbins, Cryptologia, Vol. 11, no 4, October 1987, pp. 193–205Google Scholar