2024 search results - page 55 / 405 » A Logic Based Approach for Dynamic Access Control |
ENTCS
2007
14 years 11 months ago
2007
We describe a programme of research in resource semantics, concurrency theory, bunched logic, and stochastic processes, as applied to mathematical systems modelling. Motivated by ...
ICLP
2007
Springer
15 years 3 months ago
2007
Springer
We present a static analysis that infers both upper and lower bounds on the usage that a logic program makes of a set of user-definable resources. The inferred bounds will in gener...
IEEEARES
2006
IEEE
15 years 5 months ago
2006
IEEE
In highly open systems like the Internet, attribute-based access control (ABAC) has proven its appropriateness. The specification and maintenance of ABAC policies however has tur...
ESCIENCE
2006
IEEE
15 years 6 months ago
2006
IEEE
The ability to dynamically create and subsequently manage secure virtual organisations (VO) is one of the key challenges facing the Grid community. Existing approaches for establi...
IEEEARES
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— Following Mark Weiser’s vision of ubiquitous computing and calm technology, computer systems should run in the background, preferably without the user noticing it at ...