Guarantees in Software Security
CoRR(2024)
摘要
We review general approaches to reason about the security of a software
system and reflect upon the guarantees they provide. We introduce a taxonomy of
fundamental challenges towards the provision of guarantees, and discuss how
these challenges are routinely exploited to attack a system in spite of
credible assurances about the absence of such bugs. It is only when we
identify, study, and acknowledge the flaws in our current reasoning systems
today that we can develop effective mitigation strategies in the future. To
this end, we finally propose a research programme whose goal it is to tackle
the software security challenges of this decade.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要