Formal Modeling of Random Oracle Programmability and Verification of Signature Unforgeability Using Task-PIOAs.

Kazuki Yoneyama

Published in: ICISC (2014)

Keyphrases

signature scheme
signature verification
formal methods
formal models
blind signature scheme
formal model
security properties
model checking
formal specification
digital signature
data sets
neural network
database systems
face verification
formal verification