408 search results - page 4 / 82 » A static type system for JVM access control |
CSFW
2007
IEEE
13 years 11 months ago
2007
IEEE
We address the programmatic realization of the access control model of security in distributed systems. Our aim is e the gap between abstract/declarative policies and their concre...
ECOOP
2009
Springer
14 years 5 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 ...
CSFW
2004
IEEE
13 years 9 months ago
2004
IEEE
We present a new static analysis for reviewing the security of libraries for systems, such as JVMs or the CLR, that rely on stack inspection for access control. We describe its im...
ECOOP
2005
Springer
13 years 10 months ago
2005
Springer
Object-oriented scripting languages like JavaScript and Python are popular partly because of their dynamic features. These include the runtime modification of objects and classes ...
CDC
2010
IEEE
13 years 7 days ago
2010
IEEE
We provide general comparative static results for large finite and infinite-dimensional aggregative games. In aggregative games, each player's payoff depends on her own action...