87 search results - page 1 / 18 » Information flow security for service compositions |
ICUMT
2009
13 years 2 months ago
2009
Web services are ubiquitous technologies which are used for integrating business processes and services. As is the case in many other applications, the information processed in we...
CSFW
1996
IEEE
13 years 8 months ago
1996
IEEE
CSFW
2004
IEEE
13 years 8 months ago
2004
IEEE
Non-interference is a high-level security property that guarantees the absence of illicit information leakages through executing programs. More precisely, non-interference for a p...
JCS
2007
13 years 4 months ago
2007
We present a general unwinding framework for the definition of information flow security properties of concurrent programs, described in a simple imperative language enriched wi...
MPC
2010
Springer
13 years 8 months ago
2010
Springer