Strong Security Guarantees: From Alloy to Coq (Research Poster).
HPCS(2018)
摘要
With the recent discoveries of widespread vulnerabilities, the use of formal methods in the design of system is more and more important, in particular in the context of Cloud computing which can be used for high performance computing applications [1]. Formal methods range from more lightweight method such as the Alloy [2] formal specification language and analyzer to more heavyweight formal methods based on proof assistants such as Isabelle/HOL or Coq [3].
更多查看译文
关键词
strong security guarantees,high performance computing applications,lightweight method,formal specification language,heavyweight formal methods,cloud computing,proof assistants,Isabelle-HOL
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络