Sciweavers

62
Voted
ATVA
2007
Springer
89views Hardware» more  ATVA 2007»
15 years 3 months ago
Policies and Proofs for Code Auditing
Abstract. Both proofs and trust relations play a role in security decisions, in particular in determining whether to execute a piece of code. We have developed a language, called B...
Nathan Whitehead, Jordan Johnson, Martín Ab...