87 search results - page 2 / 18 » Information flow security for service compositions |
112
click to vote
CSFW
1996
IEEE
15 years 1 months ago
1996
IEEE
In this paper we compare two information flow security properties: the lazy security (L-Sec) [11] and the Bisimulation Non-deducibility on Compositions (BNDC) [4]. To make this we...
62
Voted
CAISE
2000
Springer
15 years 1 months ago
2000
Springer
84
Voted
ESIAT
2009
IEEE
14 years 7 months ago
2009
IEEE
Geospatial information services composition is a promising approach to construct complex Web GIS applications. BPEL, which is the language and the industry standard that expresses ...
CSFW
2002
IEEE
15 years 2 months ago
2002
IEEE
We study a security property for processes in dynamic contexts, i.e., contexts that can be reconfigured at runtime. The security property that we propose in this paper, named Per...
85
Voted
FM
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...