5119 search results - page 380 / 1024 » Security Privacy |
175
Voted
TRUSTBUS
2009
Springer
16 years 1 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...
254
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
Model evolution is often supported by writing model transformation rules in specialized languages. This presents challenges to those who are unfamiliar with model transformation l...
194
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
Software upgrades are unreliable, often causing downtime or data loss. I propose Imago, an approach for removing the leading causes of upgrade failures (broken dependencies) and o...
220
click to vote
SDMW
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we investigate the feasibility and efficiency of mapping XML data and access control policies onto relational and native XML databases for storage and querying. We de...
186
click to vote
CSFW
2008
IEEE
16 years 1 months ago
2008
IEEE
We present an authorization logic that permits reasoning with explicit time. Following a proof-theoretic approach, we study the meta-theory of the logic, including cut elimination...