378 search results - page 34 / 76 » Information Flow Analysis for VHDL |
109
Voted
IJISEC
2008
15 years 1 months ago
2008
Preventing improper information leaks is a greatest challenge of the modern society. In this paper we present a technique for measuring the ability of several families of adversari...
102
click to vote
DSS
2000
15 years 1 months ago
2000
This paper describes novel market-based technologies that uniquely establish quantifiable and adjustable limits on the power of attackers, enable verifiable accountability for mal...
111
click to vote
SAS
2004
Springer
15 years 7 months ago
2004
Springer
ness Refinement in Abstract Symbolic Trajectory Evaluation . . . . 38 Mila Dalla Preda Constraint-Based Linear-Relations Analysis . . . . . . . . . . . . . . . . . . . . . . . . ....
100
Voted
CCR
2005
15 years 1 months ago
2005
We focus in this paper on Internet flows, consider their contributions to the overall traffic per time unit or bin, and perform a multi-scale and multi-protocol analysis to explor...
108
click to vote
IDA
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We propose a generic framework and methods for simplification of large networks. The methods can be used to improve the understandability of a given network, to complemen...