577 search results - page 14 / 116 » Engineering Sufficiently Secure Computing |
CSFW
2004
IEEE
15 years 1 months ago
2004
IEEE
We study the specification of access control policy in large-scale distributed systems. We present Cassandra, a language and system for expressing policy, and the results of a sub...
PODC
2010
ACM
14 years 11 months ago
2010
ACM
In this paper, we consider the problem of maximizing the throughput of Byzantine agreement, when communication links have finite capacity. Byzantine agreement is a classical probl...
APSEC
2003
IEEE
15 years 2 months ago
2003
IEEE
Despite a growing awareness of security issues in networked computing systems, most development processes used today still do not take security aspects into account. To address th...
FSTTCS
2007
Springer
15 years 3 months ago
2007
Springer
Type systems for secure information flow aim to prevent a program from leaking information from variables that hold secret data to variables that hold public data. In this work we...
SAC
2005
ACM
15 years 3 months ago
2005
ACM
Current search engines crawl the Web, download content, and digest this content locally. For multimedia content, this involves considerable volumes of data. Furthermore, this proc...