| 摘要 |
PROBLEM TO BE SOLVED: To provide a verification apparatus, verification method and verification program capable of verifying a protocol of authentication or key exchange in accordance with a security level. SOLUTION: A verification apparatus 1 includes: a kind setting part 103 for setting an encryption primitive type being used for a protocol of authentication or key exchange; a role setting part 104 for setting an encryption primitive role; an element setting part 105 for setting an element indicating a kind and a state of a data value in the protocol or a kind and a state of an encryption primitive function value; a security selecting part 106 for selecting security of a verification object in response to a request; a verification item-determining part 107 for determining whether to meet a verification item for each of security suited to a prescribed framework set to the encryption primitive role; and a security determining part 108 for determining that the protocol is safe when it is determined that the verification item for all the selected security is met. COPYRIGHT: (C)2011,JPO&INPIT |
