28 search results - page 4 / 6 » Static vs Dynamic Typing for Access Control in Pi-Calculus |
APLAS
2009
ACM
13 years 12 months ago
2009
ACM
Ownership types support information hiding by providing object-based encapsulation. However the static restrictions they impose on object accessibility can limit the expressiveness...
ECOOP
2009
Springer
14 years 6 months ago
2009
Springer
Role-based access control (RBAC) is a common paradigm to ensure that users have sufficient rights to perform various system operations. In many cases though, traditional RBAC does ...
TGC
2005
Springer
13 years 10 months ago
2005
Springer
Our society is increasingly moving towards richer forms of information exchange where mobility of processes and devices plays a prominent role. This tendency has prompted the acade...
TCS
2008
13 years 5 months ago
2008
Our society is increasingly moving towards richer forms of information exchange where mobility of processes and devices plays a prominent role. This tendency has prompted the acad...
ACSAC
2001
IEEE
13 years 9 months ago
2001
IEEE
In most of the current authorization frameworks in application systems, the authorization for a user operation is determined using a static database like ACL entries or system tab...