781 search results - page 69 / 157 » An Integrated Model for Hybrid Securities |
173
click to vote
SACMAT
2006
ACM
16 years 2 days ago
2006
ACM
We propose an integrity measurement approach based on information flow integrity, which we call the Policy-Reduced Integrity Measurement Architecture (PRIMA). The recent availabi...
169
click to vote
SP
2009
IEEE
16 years 26 days ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
164
click to vote
HYBRID
2010
Springer
16 years 19 days ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
187
click to vote
EUROCRYPT
2000
Springer
15 years 9 months ago
2000
Springer
The cryptosystem recently proposed by Cramer and Shoup [CS98] is a practical public key cryptosystem that is secure against adaptive chosen ciphertext attack provided the Decision...
156
click to vote
CSFW
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...