429 search results - page 26 / 86 » Compositionality of Secure Information Flow |
ICTAC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We investigate the issue of typing confidentiality in a languagebased information-flow security approach, aiming at improving some previously proposed type systems, esp...
ICFEM
2005
Springer
14 years 1 months ago
2005
Springer
We provide precise high-level models for eight fundamental service interaction patterns, together with schemes for their composition into complex service-based business process int...
ESIAT
2009
IEEE
13 years 5 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 ...
SP
2010
IEEE
13 years 12 months ago
2010
IEEE
Abstract—Belief and vulnerability have been proposed recently to quantify information flow in security systems. Both concepts stand as alternatives to the traditional approaches...
ISSRE
2010
IEEE
13 years 6 months ago
2010
IEEE
— With the increasing reliance of complex real-world applications on composite web services assembled from independently developed component services, there is a growing need for...