2873 search results - page 356 / 575 » Model Checking and the Mu-calculus |
CSFW
2004
IEEE
14 years 3 days ago
2004
IEEE
Information flow security properties such as noninterference ensure the protection of confidential data by strongly limiting the flow of sensitive information. However, to deal wi...
CCS
2006
ACM
14 years 2 days ago
2006
ACM
Traditional security policies largely focus on access control requirements, which specify who can access what under what circumstances. Besides access control requirements, the av...
WWW
2005
ACM
14 years 9 months ago
2005
ACM
We present a language for specifying web service interfaces. A web service interface puts three kinds of constraints on the users of the service. First, the interface specifies th...
OSDI
2006
ACM
14 years 8 months ago
2006
ACM
Storage systems such as file systems, databases, and RAID systems have a simple, basic contract: you give them data, they do not lose or corrupt it. Often they store the only copy...
SIGMOD
2004
ACM
14 years 8 months ago
2004
ACM
Virtually every commercial query optimizer chooses the best plan for a query using a cost model that relies heavily on accurate cardinality estimation. Cardinality estimation erro...