Development and verification of the DRM standard protocol for media card.

Chenglong Xu Jeong Sik Mun Sung-Ryul Kim

Published in: ICHIT (2009)

Keyphrases

model checking
model checker
lightweight
cryptographic protocols
software engineering
rapid development
formal analysis
formal verification
multimedia technology
information systems
low cost
distributed systems
digital media