ENCRYPTION PROTOCOL SAFETY VERIFICATION DEVICE, ENCRYPTION PROTOCOL DESIGN DEVICE, ENCRYPTION PROTOCOL SAFETY VERIFICATION METHOD, ENCRYPTION PROTOCOL DESIGN METHOD, ENCRYPTION PROTOCOL SAFETY VERIFICATION PROGRAM AND ENCRYPTION PROTOCOL DESIGN PROGRAM

摘要

PPROBLEM TO BE SOLVED: To secure the primitive safety of an encryption protocol, and to save the labor of the safety verification of even a complicate encryption protocol. PSOLUTION: This encryption protocol safety verification device is provided with an encryption protocol specification input processing part 110 for inputting encryption protocol specification data including a first description part where processing relating to a party relevant to the execution of an encryption protocol is described and a second description part where processing relating to a party relevant to the execution of the encryption protocol and a first virtual entity not relevant to the execution of the encryption protocol is described, and description relating to a second virtual entity not relevant to the execution of the encryption protocol is not included, wherein the first virtual entity is made to correspond to an ideal function in an ideal protocol, and the second virtual entity is made to correspond to a simulator in the ideal protocol. This encryption protocol safety verification device is provided with a format verification part 120 for verifying the presence/absence of the defect of processing relating to the party and the first virtual entity. PCOPYRIGHT: (C)2007,JPO&INPIT