8644 search results - page 382 / 1729 » On the Composition of Secure Systems |
189
click to vote
PACT
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. We use an enhanced operational semantics to infer quantitative measures on systems describing cryptographic protocols. System transitions carry enhanced labels. We assign...
187
click to vote
ACSAC
2009
IEEE
16 years 2 months ago
2009
IEEE
—MapReduce has become increasingly popular as a powerful parallel data processing model. To deploy MapReduce as a data processing service over open systems such as service orient...
206
click to vote
CCS
2009
ACM
16 years 2 months ago
2009
ACM
Mandated requirements to share information across different sensitivity domains necessitate the design of distributed architectures to enforce information flow policies while pr...
204
click to vote
ECUMN
2007
Springer
16 years 1 months ago
2007
Springer
After decades of expansion, Internet became an essential tool useful for professionals and private individuals providing a large range of services like emailing, management of ban...
183
click to vote
FOSAD
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present a framework for designing and composing services in a secure manner. Services can enforce security policies locally, and can invoke other services in a “call...