577 search results - page 70 / 116 » Engineering Sufficiently Secure Computing |
105
Voted
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
Fred Brooks’ retelling of the biblical story of the Tower of Babel offers many insights into what makes building software difficult. The difficulty, according to common interp...
144
Voted
SACMAT
2006
ACM
15 years 8 months ago
2006
ACM
We introduce the concept, model, and policy-specific algorithms for inferring new access control decisions from previous ones. Our secondary and approximate authorization model (...
136
Voted
SIGSOFT
2004
ACM
16 years 3 months ago
2004
ACM
Five modern static analysis tools (ARCHER, BOON, PolySpace C Verifier, Splint, and UNO) were evaluated using source code examples containing 14 exploitable buffer overflow vulnera...
110
Voted
ICSE
2009
IEEE-ACM
16 years 3 months ago
2009
IEEE-ACM
In modern software systems, programs are obtained by dynamically assembling components. This has made it necessary to subject component providers to access-control restrictions. W...
171
Voted
SIGMOD
2008
ACM
16 years 2 months ago
2008
ACM
Provenance, or records of the origin, context, custody, derivation or other historical information about a (digital) object, has recently become an important research topic in a n...