Sciweavers

52 search results - page 1 / 11
» Design and Semantics of a Decentralized Authorization Langua...
Sort
View
CSFW
2007
IEEE
14 years 5 months ago
Design and Semantics of a Decentralized Authorization Language
Moritz Y. Becker, Cédric Fournet, Andrew D....
IFIP
2004
Springer
14 years 4 months ago
A Logic for Auditing Accountability in Decentralized Systems
We propose a language that allows agents to distribute data with usage policies in a decentralized architecture. In our framework, the compliance with usage policies is not enforce...
Ricardo Corin, Sandro Etalle, J. I. den Hartog, Ga...
DEXAW
2009
IEEE
171views Database» more  DEXAW 2009»
14 years 5 months ago
Ontology Knowledge Authoring by Natural Language Empowerment
One of the main limitations in using ontologies in modern information systems is due to the fact that the design and maintenance of ontologies is a complex activity that requires ...
Alfio Ferrara, Stefano Montanelli, Gaia Varese, Si...
ECTEL
2009
Springer
14 years 5 months ago
LAG 2.0: Refining a Reusable Adaptation Language and Improving on Its Authoring
Reusable adaptation specifications for adaptive behaviour has come to the forefront of adaptive research recently, with EU projects such as GRAPPLE1, and PhD research efforts on de...
Alexandra I. Cristea, David Smits, Jon Bevan, Maur...
TRUSTBUS
2009
Springer
14 years 5 months ago
Operational Semantics for DKAL: Application and Analysis
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...
Yuri Gurevich, Arnab Roy