Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)

  • 出版商: Springer
  • 出版日期: 2016-12-18
  • 售價: $2,380
  • 貴賓價: 9.5$2,261
  • 語言: 英文
  • 頁數: 340
  • 裝訂: Paperback
  • ISBN: 3319510452
  • ISBN-13: 9783319510453
  • 相關分類: Computer-Science資訊安全
  • 海外代購書籍(需單獨結帳)

相關主題

商品描述

This festschrift was written in honor of Andrew William (Bill) Roscoe on the occasion of his 60th birthday, and features tributes by Sir Tony Hoare, Stephen Brookes, and Michael Wooldridge.  Bill Roscoe is an international authority in process algebra, and has been the driving force behind the development of the FDR refinement checker for CSP.  He is also world renowned for his pioneering work in analyzing security protocols, modeling information flow, human-interactive security, and much more. 
Many of these areas are reflected in the 15 invited research articles in this festschrift, and in the presentations at the "BILL-60" symposium held in Oxford, UK, on January 9 and 10, 2017.

商品描述(中文翻譯)

這本紀念文集是為了紀念安德魯·威廉(比爾)·羅斯科在他60歲生日之際而撰寫的,並收錄了托尼·霍爾爵士、史蒂芬·布魯克斯和邁克爾·伍爾德里奇的致敬詞。比爾·羅斯科是過程代數的國際權威,也是CSP的FDR精煉檢查器開發的推動力。他在分析安全協議、建模信息流、人機互動安全等領域的開創性工作享譽全球。這些領域的許多內容在本紀念文集中的15篇邀請研究文章以及2017年1月9日和10日在英國牛津舉行的「BILL-60」研討會的報告中得到了體現。

類似商品