2106 search results - page 45 / 422 » Operational Semantics for DyLPs |
117
click to vote
TRUSTBUS
2009
Springer
15 years 9 months ago
2009
Springer
DKAL is a new expressive high-level authorization language. It has been successfully tried at Microsoft which led to further improvements of the language itself. One improvement is...
LICS
2007
IEEE
15 years 9 months ago
2007
IEEE
TGC
2007
Springer
15 years 9 months ago
2007
Springer
FM
2005
Springer
15 years 8 months ago
2005
Springer
