118 search results - page 11 / 24 » Meca: A Tool for Access Control Models |
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
Modern multiuser software systems have adopted RoleBased Access Control (RBAC) for authorization management. This paper presents a formal model for RBAC policy validation and a st...
WIKIS
2010
ACM
13 years 5 months ago
2010
ACM
Wikis have proven to be an invaluable tool for collaboration. The most prominent is, of course, Wikipedia. Its open nature is not suitable for all environments; in corporate, gove...
IHI
2012
12 years 2 months ago
2012
Regulations and policies regarding Electronic Health Information (EHI) are increasingly complex. Federal and State policy makers have called for both education to increase stakeho...
ACSAC
2001
IEEE
13 years 11 months ago
2001
IEEE
According to one common view, information security comes down to technical measures. Given better access control policy models, formal proofs of cryptographic protocols, approved ...
CDC
2010
IEEE
13 years 1 months ago
2010
IEEE
In this paper, we analyze the cyber security of state estimators in Supervisory Control and Data Acquisition (SCADA) systems operating in power grids. Safe and reliable operation o...