611 search results - page 16 / 123 » Yuri, Logic, and Computer Science |
ICALP
2007
Springer
15 years 3 months ago
2007
Springer
LICS
2006
IEEE
15 years 3 months ago
2006
IEEE
72
Voted
LICS
2005
IEEE
15 years 3 months ago
2005
IEEE
LICS
2007
IEEE
15 years 4 months ago
2007
IEEE
CSFW
2008
IEEE
15 years 4 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...