Formal Security Model of Multisignatures.

Yuichi Komano Kazuo Ohta Atsushi Shimbo Shin-ichi Kawamura

Published in: ISC (2006)

Keyphrases

security model
public key
access control
security analysis
security requirements
security architecture
designated verifier
provably secure
formal model
public key cryptography
fine grained
encryption scheme
case study
video sequences
low cost
computer networks