讲座通知
Bill Roscoe教授，英国皇家工程院院士，牛津大学信息安全委员会主席，原牛津大学计算机系主任（2003-2014）.世界著名计算机科学家。主要研究领域包括了并行计算，验证和计算机安全。他在进程袋数（process algebra)领域有着卓越的贡献；他主导的通讯顺序进程（Communicating Sequential Processes or CSP）研究在多个工业领域有着广泛的应用，其中他主导开发的Failures Divergence Refinement (FDR) 工具是CSP领域第一个可便于开发和应用的工具。主要研究方向和成果包括了信息安全，计算机验证和并行计算等。
Detecting failed attacks on human-interactive security protocols
Human-interactive security protocols (HISPs) use human-mediated out of band (oob) channels to create secure authentic channels over an insecure network, and work without shared secrets or a PKI. They can optimally give the strongest conceivable attacker a 2^-n chance of success when n bits are communicated oob. In this talk we review these, but show that prior protocols have the weakness that an attacker can detect in advance when his attack will fail, and disguise it as a communications failure, so that he can safely make repeated attempts. We see how a single systematic transformation can adapt many known HISPs to eliminate this weakness.
时间：2016年9月26日
地点：纽约国际官方网站 理教103
