852 search results - page 121 / 171 » Model-Checking Access Control Policies |
PERVASIVE
2007
Springer
14 years 3 months ago
2007
Springer
As pervasive environments become more commonplace, the privacy of users is placed at increased risk. The numerous and diverse sensors in these environments can record users’ cont...
ACSAC
2007
IEEE
14 years 3 months ago
2007
IEEE
We have implemented an information flow framework for the Java Virtual Machine that combines static and dynamic techniques to capture not only explicit flows, but also implicit ...
SAC
2000
ACM
14 years 1 months ago
2000
ACM
Linda is a high level communication model which allows agents to communicate via a shared tuple spaces without knowing each other’s identities and without having to arrange for ...
MODELLIERUNG
2008
13 years 10 months ago
2008
: Various types of security goals, such as authentication or confidentiality, can be defined as policies for process-aware information systems, typically in a manual fashion. There...
IADIS
2004
13 years 10 months ago
2004
Digital Libraries can be considered islands of specialized collections on the Web, which have their own management policy to control publishing and access, offering an environment...