309 search results - page 44 / 62 » A Type System for Expressive Security Policies |
USS
2004
13 years 9 months ago
2004
Window systems are the primary mediator of user input and output in modern computing systems. They are also a commonly used interprocess communication mechanism. As a result, they...
CSFW
2009
IEEE
14 years 2 months ago
2009
IEEE
Security views are a flexible and effective mechanism for controlling access to confidential information. Rather than allowing untrusted users to access source data directly, th...
TCS
2010
13 years 6 months ago
2010
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...
ICTAI
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—In distributed environments, access control decisions depend on statements of multiple agents rather than only one central trusted party. However, existing policy langua...
CSFW
2004
IEEE
13 years 11 months ago
2004
IEEE
Workflow management systems (WFMSs) have attracted a lot of interest both in academia and the business community. A workflow consists of a collection of tasks that are organized t...