8644 search results - page 127 / 1729 » On the Composition of Secure Systems |
167
click to vote
MSOM
2010
15 years 1 months ago
2010
The Vaccine and Related Biologic Products Advisory Committee meets at least once a year to decide the composition of the influenza vaccine in the U.S. Past evidence suggests that ...
209
click to vote
GRID
2008
Springer
15 years 6 months ago
2008
Springer
A myriad of recent activities can be seen towards dynamic workflow composition for processing complex and data intensive problems. Meanwhile, the simultaneous emergence of the gri...
182
click to vote
FMCAD
2006
Springer
15 years 10 months ago
2006
Springer
Recent years have seen a proliferation of 3-valued or capturing abstractions of systems, since these enable verifying both universal and existential properties. Reasoning about suc...
173
click to vote
ECOWS
2006
Springer
15 years 8 months ago
2006
Springer
In this paper, we present our approach of facilitator that allows automatic service composition in distributed systems. We propose a facilitator based on ontologies and knowledge ...
275
click to vote
ASIAN
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We presents a compositional Hoare logic for proving semantic security of modes of operation for symmetric key block ciphers. We propose a simple programming language to s...