Verification Techniques for Checking Compliance of Computer Systems and Protocols
▶Verification Techniques for Checking Compliance of Computer Systems and Protocols — a 2015 CERIAS - 2015 security conference talk on policy-legal (52:01 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube