3420 search results - page 429 / 684 » A Language-Based Approach to Security |
156
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through ...
146
click to vote
OSDI
2004
ACM
16 years 6 months ago
2004
ACM
A fundamental piece of information required in intelligent storage systems is the liveness of data. We formalize the notion of liveness within storage, and present two classes of ...
172
click to vote
CODES
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a system synthesis approach for dependable embedded systems. The proposed approach significantly extends previous work by automatically inserting fault detect...
172
click to vote
ICC
2007
IEEE
16 years 28 days ago
2007
IEEE
—Cyber attack behavior analysis can be roughly classified as “network centric” and “attacker centric” approaches. Compared with traditional “network centric” approach...
154
click to vote
PADL
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. A Prolog implementation of an In-lined Reference Monitoring system prototype for Adobe ActionScript Bytecode programs is presented. Prolog provides an elegant framework f...