30 search results - page 5 / 6 » A Calculus for Game-Based Security Proofs |
108
click to vote
SAC
2010
ACM
14 years 9 months ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...
111
Voted
POPL
1999
ACM
15 years 4 months ago
1999
ACM
An increasing number of systems rely on programming language technology to ensure safety and security of low-level code. Unfortunately, these systems typically rely on a complex, ...
82
Voted
JFP
2006
14 years 11 months ago
2006
Confinement properties impose a structure on object graphs which can be used to enforce encapsulation properties. From a practical point of view, encapsulation is essential for bu...
195
Voted
POPL
2004
ACM
15 years 12 months ago
2004
ACM
We define seal, an untyped call-by-value -calculus with primitives for protecting abstract data by sealing, and develop a bisimulation proof method that is sound and complete with...
80
Voted
ENTCS
2007
14 years 11 months ago
2007
Protocol Composition Logic (PCL) is a logic for proving security properties of network protocols that use public and symmetric key cryptography. The logic is designed around a pro...