378 search results - page 12 / 76 » Information Flow Analysis for VHDL |
ESOP
2000
Springer
14 years 6 days ago
2000
Springer
Abstract. We propose a new type discipline for the -calculus in which secure information flow is guaranteed by static type checking. Secrecy levels are assigned to channels and are...
TIT
2008
13 years 8 months ago
2008
Abstract-- Distributed detection of information flows by timing analysis is considered. Timing measurements are subject to perturbations and the insertion of chaff noise. Moreover,...
CAISE
2009
Springer
14 years 18 days ago
2009
Springer
Despite the abundance of analysis techniques to discover control-flow errors in workflow designs, there is hardly any support for w verification. Most techniques simply abstract fr...
EUSFLAT
2009
13 years 6 months ago
2009
This paper proposes to analyze two flow line systems in which we include possibilistic data -the priority-discipline is possibilistic instead of probabilistic- and measure the perf...
PAMI
2010
13 years 3 months ago
2010
Specular flow is the motion field induced on the image plane by the movement of points reflected by a curved, mirror-like surface. This flow provides information about surface sha...