2043 search results - page 95 / 409 » Reasoning About Security Models |
113
Voted
ISMB
1998
15 years 2 months ago
1998
Traditionally, biochemical systems are modelled usingkinetics anddifferential equationsin a quantitative simulator. However,for manybiological processes detailed quantitative info...
106
Voted
CSFW
2005
IEEE
15 years 6 months 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...
96
Voted
KR
2004
Springer
15 years 6 months ago
2004
Springer
To support commonsense reasoning about space, we require a qualitative calculus of spatial entities and their relations. One requirement for such a calculus, which has not so far ...
218
Voted
POPL
2005
ACM
16 years 29 days ago
2005
ACM
In traditional information-flow type systems, the security policy is often formalized as noninterference properties. However, noninterference alone is too strong to express securi...
COMPSEC
2002
15 years 14 days ago
2002
In a user hierarchy we say that a security class is subordinate to another security class if the former has a lower security privilege than the latter. To implement such a hierarc...