2422 search results - page 445 / 485 » Security Policy Consistency |
HIPC
2005
Springer
15 years 3 months ago
2005
Springer
Graph theoretic problems are representative of fundamental computations in traditional and emerging scientific disciplines like scientific computing, computational biology and b...
ICISS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Trust can be used to measure our confidence that a secure system behaves as expected. We had previously proposed a vector model of trust [1]. In this work we address the...
OTM
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. For several reasons enterprises are frequently subject to organizational change. Respective adaptations may concern business processes, but also other components of an en...
TCC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We introduce Fair Zero-Knowledge, a multi-verifier ZK system where every proof is guaranteed to be “zero-knowledge for all verifiers.” That is, if an honest verifi...
SIGOPSE
2004
ACM
15 years 3 months ago
2004
ACM
This paper promotes accountability as a central design goal for dependable networked systems. We define three properties for accountable systems that extend beyond the basic secu...