Carolyn Talcott, "The Maude Execution Environment" (2/9/04)
Why it's on BrighterTube
From a channel a BrighterTube curator approved in full · 80% confidenceFrom a channel Lumen includes in full: securitylectures archives full recorded lectures from computer-security seminar series, including talks by Richard Hamming, Matt Bishop and pioneers of PKI, intrusion detection and cryptography.
What you'll learn
A 44-minute video from securitylectures's catalogue; the title names its topic.
Video by securitylectures, played through YouTube's embedded player.