323 search results - page 25 / 65 » Distributed Verification and Hardness of Distributed Approxi... |
CCS
2009
ACM
16 years 8 days ago
2009
ACM
Inlined Reference Monitor (IRM) is an established enforcement mechanism for history-based access control policies. IRM enforcement injects monitoring code into the binary of an un...
105
click to vote
SIGSOFT
2004
ACM
16 years 12 days 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...
100
Voted
SIGSOFT
2002
ACM
16 years 12 days ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...
118
click to vote
SIGSOFT
2002
ACM
16 years 12 days ago
2002
ACM
Security is a very important issue in information processing, especially in open network environments like the Internet. The Common Criteria (CC) is the standard requirements cata...
194
Voted
POPL
2005
ACM
15 years 12 months ago
2005
ACM
Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynami...