4224 search results - page 345 / 845 » Reasoning about Choice |
163
click to vote
FSTTCS
2009
Springer
16 years 2 months ago
2009
Springer
We suggest that extending Muller games with preference ordering for players is a natural way to reason about unbounded duration games. In this context, we look at the standard solu...
166
click to vote
IFIP
2009
Springer
16 years 2 months ago
2009
Springer
We adapt the Strand Spaces model to reason abstractly about layered security protocols, where an Application Layer protocol ed on top of a secure transport protocol. The model abst...
170
click to vote
IFIP
2009
Springer
16 years 2 months ago
2009
Springer
We consider the problem of detecting covert channels within security-enforcing object-capability patterns. Traditional formalisms for reasoning about the security properties of obj...
174
click to vote
IFIP
2009
Springer
16 years 2 months ago
2009
Springer
We firstly describe an algebraic structure which serves as solid basis to quantitatively reason about information flows. We demonstrate how programs in form of partition of state...
201
click to vote
LFCS
2009
Springer
16 years 2 months ago
2009
Springer
In this paper we study several properties of the Exogenous Probabilistic Propositional Logic (EPPL), a logic for reasoning about probabilities, with the purpose of introducing a t...