Refereed articles: An automatic search for security flaws in key management schemes

摘要: Key management schemes implemented in tamper-proof secure modules are an essential feature of cryptographic systems applied to networks. Such must have sufficient functionality meet the demands users, but at same time they not be capable successful manipulation aimed attack on system. This paper describes a PROLOG program which seeks security flaws models such schemes, and hence enhances assurance provided by designer The extensively searches for potential attacks simple rule-based model system; it is suggested that this extended operations other areas when or safety investigated.