595 search results - page 2 / 119 » Lightweight Static Capabilities |
APLAS
2004
ACM
14 years 1 months ago
2004
ACM
In safety-critical and high-reliability systems, software development and maintenance are costly endeavors. The cost can be reduced if software errors can be identified through au...
ICECCS
2007
IEEE
14 years 1 months ago
2007
IEEE
Identifying and resolving design problems in the early design phase can help ensure software quality and save costs. There are currently few tools for analyzing designs expressed ...
SOFTWARE
2002
13 years 7 months ago
2002
ESORICS
2006
Springer
13 years 11 months ago
2006
Springer
Motivated by the need of application-level access control in dynamically extensible systems, this work proposes a static annotation system for modeling capabilies in a Java-like pr...
USS
2010
13 years 5 months ago
2010
Capsicum is a lightweight operating system capability and sandbox framework planned for inclusion in FreeBSD 9. Capsicum extends, rather than replaces, UNIX APIs, providing new ke...