5757 search results - page 58 / 1152 » Dynamic Policy Programming |
209
Voted
POPL
2007
ACM
16 years 2 months ago
2007
ACM
153
click to vote
SERP
2010
15 years 9 days ago
2010
We propose a formal method to automatically integrate security rules regarding an access control policy (expressed in Or-BAC) in Java programs. Given an untrusted application and a...
143
Voted
ICFP
2003
ACM
16 years 2 months ago
2003
ACM
This paper presents a static type system for JAVA Virtual Machine (JVM) code that enforces an access control mechanism similar to the one found, for example, in a JAVA implementat...
110
click to vote
IEEEHPCS
2010
15 years 28 days ago
2010
Abstract—Many peer-to-peer file sharing communities implement credit policies to incentivise users to contribute upload resources. Such policies implicitly assume a user model -...
106
click to vote
PERCOM
2006
ACM
16 years 2 months ago
2006
ACM
Pervasive systems are complex distributed systems containing heterogeneous and mobile devices, services and applications. Policy-based management is an effective approach for mana...