43 search results - page 9 / 9 » Quantum weakest preconditions |
114
click to vote
CCS
2006
ACM
15 years 5 months ago
2006
ACM
We address the problem of replaying an application dialog between two hosts. The ability to accurately replay application dialogs is useful in many security-oriented applications,...
139
click to vote
LOGCOM
2007
15 years 1 months ago
2007
We provide algebraic semantics together with a sound and complete sequent calculus for information update due to epistemic actions. This semantics is flexible enough to accommoda...
128
click to vote
SAC
2010
ACM
14 years 11 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...