117 search results - page 10 / 24 » Mediating secure information flow policies |
128
click to vote
ICUMT
2009
14 years 11 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...
100
Voted
TCS
2010
15 years 8 days ago
2010
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...
134
Voted
ACSAC
2006
IEEE
15 years 5 months ago
2006
IEEE
When an application reads private / sensitive information and subsequently communicates on an output channel such as a public file or a network connection, how can we ensure that ...
86
Voted
CSFW
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents an embedded security sublanguage for enforcing information-flow policies in the standard Haskell programming language. The sublanguage provides useful informa...
120
Voted
TRUST
2009
Springer
15 years 8 months ago
2009
Springer
UCON is a highly flexible and expressive usage control model which allows an object owner to specify detailed usage control policies to be evaluated on a remote platform. Assuranc...