807 search results - page 104 / 162 » Term Rewriting for Access Control |
131
Voted
CAISE
2009
Springer
15 years 7 months ago
2009
Springer
Despite the abundance of analysis techniques to discover control-flow errors in workflow designs, there is hardly any support for w verification. Most techniques simply abstract fr...
107
Voted
CCS
2010
ACM
15 years 6 months ago
2010
ACM
In this paper, we propose a new form of image-based CAPTCHA we term "scene tagging". It tests the ability to recognize a relationship between multiple objects in an imag...
113
click to vote
CCS
2008
ACM
15 years 5 months ago
2008
ACM
A practically feasible modification to fixed-priority schedulers allows to avoid timing channels despite threads having access to precise clocks. This modification is rather simpl...
150
Voted
DBSEC
2001
15 years 4 months ago
2001
: In this paper we introduce a series of reference models for Secure Role-Based Workflow systems. We build our models over the well-known RBAC96 framework. 96 model supports the no...
121
Voted
ACSAC
2010
IEEE
15 years 1 months ago
2010
IEEE
We address the problem of confidentiality in scenarios where the attacker is not only able to observe the communication between principals, but can also fully compromise the commu...