- 博客(0)
- 资源 (3)
空空如也
security in computing
Security in Computing, Fourth Edition
By Charles P. Pfleeger - Pfleeger Consulting Group, Shari Lawrence Pfleeger - RAND Corporation
Publisher: Prentice Hall
Pub Date: October 13, 2006
Print ISBN-10: 0-13-239077-9
Print ISBN-13: 978-0-13-239077-4
Pages: 880
2009-09-01
Proof-Carrying Code
Proof-carrying code is a framework for the mechanical
verification of safety properties of machine language
programs, but the problem arises of quis custodiat ipsos
custodes—who will verify the verifier itself? Foundational
proof-carrying code is verification from the smallest
possible set of axioms, using the simplest possible verifier
and the smallest possible runtime system. I will describe
many of the mathematical and engineering problems
to be solved in the construction of a foundational
proof-carrying code system.
2009-08-31
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人