277 search results - page 5 / 56 » Timing-Sensitive Information Flow Analysis for Synchronous S... |
SCP
1998
14 years 9 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...
ICDCSW
2005
IEEE
15 years 3 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...
124
click to vote
CSFW
2000
IEEE
15 years 1 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...
DAC
2007
ACM
15 years 10 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 ...
81
Voted
CASSIS
2005
Springer
15 years 3 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 ...