1357 search results - page 84 / 272 » Controlling Access to Documents: A Formal Access Control Mod... |
210
click to vote
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply the theory of supervisory control for discrete event systems to automatically de...
170
click to vote
POPL
1999
ACM
15 years 10 months ago
1999
ACM
A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within programs that manipulate the data. While previous work...
160
click to vote
POLICY
2009
Springer
16 years 25 days ago
2009
Springer
Abstract—An administrative role-based access control (ARBAC) model specifies administrative policies over a role-based access control (RBAC) system, where an administrative perm...
171
click to vote
HICSS
2010
IEEE
16 years 1 months ago
2010
IEEE
—The Access Policy Tool (APT) analyzes the firewall configuration in an enterprise network for compliance with global access policy, e.g., such as describes the industry’s be...
156
click to vote
DBSEC
2000
15 years 7 months ago
2000
Abstract At the start of its present term of office in 1997 the UK government published a planning document promising ubiquitous access to Electronic Health Records (EHRs) held wit...