565 search results - page 7 / 113 » A logic for authorization provenance |
CSFW
2008
IEEE
15 years 6 months ago
2008
IEEE
DKAL is a new declarative authorization language for distributed systems. It is based on existential fixed-point logic and is considerably more expressive than existing authoriza...
111
click to vote
TLDI
2010
ACM
15 years 8 months ago
2010
ACM
We propose a programming language, called PCML5, for building distributed applications with distributed access control. Target applications include web-based systems in which prog...
117
click to vote
HICSS
2007
IEEE
15 years 6 months ago
2007
IEEE
Clinical Practice Guidelines (CPG) are used by healthcare practitioners to standardize clinical practice and to provide evidence mediated health-care. Currently, there have been c...
HICSS
1998
IEEE
15 years 4 months ago
1998
IEEE
Because a hypermedia document is more complex than conventional text, it requires preparation with respect to two key aspects. First, the author begins to develop a "vision&q...
101
click to vote
CAISE
2007
Springer
15 years 3 months ago
2007
Springer
The management and maintenance of a large number of Web services is not easy and, in particular, needs appropriate authorization policies to be defined so as to realize reliable an...