Login / Signup
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