429 search results - page 27 / 86 » Compositionality of Secure Information Flow |
149
Voted
ICWS
2008
IEEE
15 years 5 months ago
2008
IEEE
Service-oriented computing (SOC) has emerged as the eminent market environment for sharing and reusing service-centric capabilities. The underpinning for an organization's us...
174
Voted
BPSC
2009
15 years 4 months ago
2009
Abstract: We report on ongoing work towards a posteriori detection of illegal information flows for business processes, focusing on the challenges involved in doing so. Resembling ...
122
click to vote
EEE
2005
IEEE
15 years 9 months ago
2005
IEEE
We describe an agent-based situation-aware survivable architecture for the discovery and composition of web services. Our architecture provides for proofs that guaranteethe consis...
111
Voted
FOSSACS
2009
Springer
15 years 10 months ago
2009
Springer
There is growing interest in quantitative theories of information flow in a variety of contexts, such as secure information flow, anonymity protocols, and side-channel analysis. ...
116
click to vote
ESORICS
2005
Springer
15 years 9 months ago
2005
Springer
Information flow and non-interference are well-established techniques for expressing both integrity and privacy properties. Because of the enormous potential to transmit informati...