116 search results - page 2 / 24 » The Ponder Policy Specification Language |
ACSAC
2000
IEEE
13 years 9 months ago
2000
IEEE
Mobile Code (MC) technologies provide appealing solutionsfor the development of Internet applications.For instance, Java technologyfacilitates dynamic loading of application code ...
ENTCS
2008
13 years 5 months ago
2008
The paper presents ConSpec, an automata based policy specification language. The language trades off clean semantics to language expressiveness; a formal semantics for the languag...
GSEM
2007
Springer
13 years 11 months ago
2007
Springer
In order to manage and enforce multiple heterogeneous authorization policies in distributed authorization environment, we defined the root policy specification language and its cor...
ICTAC
2009
Springer
13 years 2 months ago
2009
Springer
Online trading invariably involves dealings between strangers, so it is important for one party to be able to judge objectively the trustworthiness of the other. In such a setting,...
CSFW
2009
IEEE
13 years 8 months ago
2009
IEEE
This paper presents a language, based on transaction logic, for specifying dynamic authorisation policies, i.e., rules governing actions that may depend on and update the authoris...