170 search results - page 12 / 34 » Implementing and Evaluating Security Controls for an Object-... |
123
Voted
ESORICS
2007
Springer
15 years 7 months ago
2007
Springer
We present a new technique for generating a formal proof that an access request satisfies accesscontrol policy, for use in logic-based access-control frameworks. Our approach is t...
122
click to vote
ECOOPW
1999
Springer
15 years 7 months ago
1999
Springer
Extensible systems, such as Java or the SPIN extensible operating system, allow for units of code, or extensions, to be added to a running system in almost arbitrary fashion. Exte...
135
Voted
ICPP
2005
IEEE
15 years 9 months ago
2005
IEEE
As dynamic web content and security capabilities are becoming popular in current web sites, the performance demand on application servers that host the sites is increasing, leadin...
150
Voted
CODASPY
2012
13 years 11 months ago
2012
Main stream operating system kernels lack a strong and reliable mechanism for identifying the running processes and binding them to the corresponding executable applications. In t...
122
click to vote
ICCD
2006
IEEE
16 years 12 days ago
2006
IEEE
—Current micro-architecture blindly uses the address in the program counter to fetch and execute instructions without validating its legitimacy. Whenever this blind-folded instru...