1940 search results - page 211 / 388 » The Dynamic Logic of Permission |
172
click to vote
EICS
2009
ACM
15 years 11 months ago
2009
ACM
Complex and dynamic interaction behaviors in applications such as Virtual Reality (VR) systems are difficult to design and develop. Reasons for this include the complexity and lim...
238
Voted
POPL
2000
ACM
15 years 11 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...
235
click to vote
ACSAC
2010
IEEE
15 years 4 months ago
2010
IEEE
The JavaScript language is a core component of active and dynamic web content in the Internet today. Besides its great success in enhancing web applications, however, JavaScript p...
207
click to vote
SIAMCOMP
2011
15 years 1 months ago
2011
Set agreement, where processors decisions constitute a set of outputs, is notoriously harder to analyze than consensus where the decisions are restricted to a single output. This ...
290
click to vote
GIS
2008
ACM
16 years 7 months ago
2008
ACM
In this paper, we follow the role-based access control (RBAC) approach and extend it to provide for the dynamic association of roles with users. In our framework, privileges assoc...