3899 search results - page 173 / 780 » Argumentation for Access Control |
158
Voted
HYBRID
2003
Springer
16 years 7 days ago
2003
Springer
Abstract. In this paper we show how hybrid control and modeling techniques can be put to work for solving a problem of industrial relevance in Surface Mount Technology (SMT) manufa...
186
click to vote
TCS
2008
15 years 7 months ago
2008
We investigate the decidability of observational equivalence and approximation in Reynolds' "Syntactic Control of Interference" (SCI), a prototypical functionalimpe...
174
click to vote
RBAC
1998
15 years 8 months ago
1998
Role-based access control (RBAC) has been introduced in the last few years, and offers a powerful means of specifying access control decisions. The model of RBAC usually assumes t...
179
Voted
IEEESCC
2008
IEEE
16 years 1 months ago
2008
IEEE
Since the inception of service-oriented computing paradigm, we have witnessed a plethora of services deployed across a broad spectrum of applications, ranging from conventional RP...
290
click to vote
ESOP
2004
Springer
16 years 12 days ago
2004
Springer
The Ambient calculus is a successful model of distributed, mobile computation, and has been the vehicle of new ideas for resource access control. Mobility types have been used to e...