956 search results - page 155 / 192 » A security framework for agent-based systems |
OOPSLA
2004
Springer
14 years 2 months ago
2004
Springer
This poster presents MonitorMethod which helps Java programmers gain insight in the behavior of their applications. MonitorMethod instruments the Java application and relates hard...
HPDC
1996
IEEE
14 years 26 days ago
1996
IEEE
This document describes the core Legion object model. The model specifies the composition and functionality of Legion's core objects--those objects that cooperate to create, ...
SAS
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. The capability calculus is a framework for statically reasoning about program resources such as deallocatable memory regions. Fractional capabilities, originally proposed...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
—Usage control goes beyond traditional access control, addressing its limitations related to attribute mutability and continuous usage permission validation. The recently propose...
ISSRE
2002
IEEE
14 years 1 months ago
2002
IEEE
Improving the dependability of computer systems is increasingly important as more and more of our lives depend on the availability of such systems. Wrapping dynamic link libraries...