277 search results - page 5 / 56 » Timing-Sensitive Information Flow Analysis for Synchronous S... |
167
click to vote
SCP
1998
15 years 5 months ago
1998
Many interesting analyses for constraint logic-based languages are aimed at the detection of monotonic properties, that is to say, properties that are preserved as the computation...
156
click to vote
ICDCSW
2005
IEEE
15 years 11 months ago
2005
IEEE
The core problem in risk analysis - determining exploitable paths between attackers and system assets is essentially a problem of determining information flow. It is relatively st...
208
click to vote
CSFW
2000
IEEE
15 years 10 months ago
2000
IEEE
Some of the non interference properties studied in [4, 6, 18] for information flow analysis in computer systems, notably Æ , are reformulated here in a realtime setting. This is...
131
click to vote
DAC
2007
ACM
16 years 6 months ago
2007
ACM
A protocol for latency-insensitive design with early evaluation is presented. The protocol is based on a symmetric view of the system in which tokens carrying information move in ...
145
Voted
CASSIS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system ...