212 search results - page 21 / 43 » Consistent policy enforcement in distributed systems using m... |
113
click to vote
CSFW
2010
IEEE
15 years 5 months ago
2010
IEEE
In recent years it has been shown that dynamic monitoring can be used to soundly enforce information flow policies. For programs distributed in source or bytecode form, the use o...
123
click to vote
SACMAT
2010
ACM
14 years 11 months ago
2010
ACM
The web is now being used as a general platform for hosting distributed applications like wikis, bulletin board messaging systems and collaborative editing environments. Data from...
158
click to vote
POPL
2000
ACM
15 years 5 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
104
click to vote
SACMAT
2009
ACM
15 years 7 months ago
2009
ACM
Collaborative and distributed applications, such as dynamic coalitions and virtualized grid computing, often require integrating access control policies of collaborating parties. ...
100
click to vote
ACSAC
1999
IEEE
15 years 5 months ago
1999
IEEE
Decoupling authorization logic from application logic allows applications with fine-grain access control requirements to be independent from a particular access control policy and...