Formal modeling of random oracle programmability and verification of signature unforgeability using task-PIOAs.

Kazuki Yoneyama

Published in: Int. J. Inf. Sec. (2018)

Keyphrases

signature scheme
formal methods
signature verification
formal analysis
modeling method
blind signature scheme
data sets
digital images
digital signature
formal models
database
artificial intelligence
formal model
modeling language
public key