314 search results - page 56 / 63 » Secure Information Flow and CPS |
75
Voted
PLDI
2012
ACM
12 years 12 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 ...
68
Voted
IWIA
2005
IEEE
15 years 3 months ago
2005
IEEE
1 Intrusion detection in MANETs is challenging because these networks change their topologies dynamically; lack concentration points where aggregated traffic can be analyzed; utili...
79
Voted
APLAS
2007
ACM
15 years 1 months ago
2007
ACM
We propose a series of type systems for the information-flow security of assembly code. These systems extend previous work TALC with some timing annotations and associated judgment...
87
Voted
SACMAT
2006
ACM
15 years 3 months ago
2006
ACM
We propose an integrity measurement approach based on information flow integrity, which we call the Policy-Reduced Integrity Measurement Architecture (PRIMA). The recent availabi...
68
Voted
ACMSE
2004
ACM
15 years 3 months ago
2004
ACM
In this paper, we propose a routing protocol that is based on securing the routing information from unauthorized users. Even though routing protocols of this category are already ...