| 摘要 |
<P>PROBLEM TO BE SOLVED: To provide protocol safety verification technology which can verify the safety of a protocol using a blind signature satisfying the impossibility of one more forgery. <P>SOLUTION: A protocol safety verification device comprises: a safety determination unit 1 which, when a blind signature satisfies the impossibility of one-to-one forgery, determines whether the protocol is safe; a one more forgery impossibility determination unit 2 which determines whether the blind signature satisfies the impossibility of one more forgery; a condition determination unit 3 which determines whether the blind signature satisfies prescribed conditions; and a final determination unit 4 which determines that the protocol is safe when the protocol was determined to be safe by the safety determination unit 1, the blind signal was determined to satisfy the impossibility of one more forgery by the one more forgery impossibility determination unit 2 and conditions were determined to be satisfied by the condition determination unit 3. <P>COPYRIGHT: (C)2013,JPO&INPIT |
