Login / Signup
Provably Secure Multisignatures in Formal Security Model and Their Optimality.
Yuichi Komano
Kazuo Ohta
Atsushi Shimbo
Shin-ichi Kawamura
Published in:
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2008)
Keyphrases
</>
security model
provably secure
public key
access control
security analysis
security requirements
blind signature
blind signature scheme
public key cryptography
formal model
bilinear pairings
standard model
formal methods
information security
real time
security policies
smart card
intrusion detection