Trusted Multiplexing of Cryptographic Protocols.

Jay A. McCarthy Shriram Krishnamurthi

Published in: Formal Aspects in Security and Trust (2009)

Keyphrases

cryptographic protocols
security properties
standard model
distributed environment
video streams
authentication protocol
encryption decryption
information systems
security protocols
real time
digital libraries
formal verification