8644 search results - page 376 / 1729 » On the Composition of Secure Systems |
143
click to vote
USS
2008
15 years 10 months ago
2008
Implementation-level vulnerabilities are a persistent threat to the security of computing systems. We propose using the results of partially-successful verification attempts to pl...
191
click to vote
FOSSACS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Synthesis is the automatic construction of a system from its specification. In the classical synthesis algorithms it is always assumed the system is “constructed from ...
189
click to vote
FUIN
2006
15 years 7 months ago
2006
In this paper we present a coordination model for component-based software systems based on the notion of mobile channels, define it in terms of a compositional trace-based semanti...
234
click to vote
MM
2003
ACM
16 years 24 days ago
2003
ACM
In this demonstration we present the ARMS system which enables secure and adaptive rich media streaming to a large-scale, heterogeneous client population. The ARMS system dynamica...
200
click to vote
ACSAC
1999
IEEE
15 years 12 months ago
1999
IEEE
Workflow systems provide automated support that enables organizations to efficiently and reliably move important data through their routine business processes. For some organizati...