6978 search results - page 137 / 1396 » On Proofs in System P |
199
click to vote
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
By shifting the burden of proofs to the user, a proof-carrying authorization (PCA) system can automatically enforce complex access control policies. Unfortunately, managing those p...
146
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
We consider proof systems for effectively propositional logic. First, we show that propositional resolution for effectively propositional logic may have exponentially longer refuta...
114
click to vote
ISSAC
1990
Springer
15 years 10 months ago
1990
Springer
In the previous papers [7-101we defined and explored a formal methodological framework on the basis of which resolution proof systems for strongly-finite logics can be introduced ...
148
click to vote
AMC
2007
15 years 6 months ago
2007
An alternative proof for the explicit equations of motion for mechanical systems with independent non-ideal constraints is proposed in this paper. These equations are derived with...
174
click to vote
CSFW
2005
IEEE
16 years 2 days ago
2005
IEEE
We present the first cryptographically sound Dolev-Yaostyle security proof of a comprehensive electronic payment system. The payment system is a slightly simplified variant of t...