Sciweavers

817 search results - page 48 / 164
» Malware behaviour analysis
Sort
View
COORDINATION
2008
Springer
15 years 1 months ago
Formal Analysis of BPMN Via a Translation into COWS
A translation of the Business Process Modeling Notation into the process calculus COWS is presented. The stochastic extension of COWS is then exploited to address quantitative reas...
Davide Prandi, Paola Quaglia, Nicola Zannone
CORR
2006
Springer
99views Education» more  CORR 2006»
14 years 12 months ago
A New Approach for Capacity Analysis of Large Dimensional Multi-Antenna Channels
This paper adresses the behaviour of the mutual information of correlated MIMO Rayleigh channels when the numbers of transmit and receive antennas converge to + at the same rate. ...
Walid Hachem, Oleksiy Khorunzhiy, Philippe Loubato...
SAS
2007
Springer
112views Formal Methods» more  SAS 2007»
15 years 6 months ago
Taming the Wrapping of Integer Arithmetic
Variables in programs are usually confined to a fixed number of bits and results that require more bits are truncated. Due to the use of 32-bit and 64-bit variables, inadvertent ...
Axel Simon, Andy King
ACSAC
2009
IEEE
15 years 6 months ago
Analyzing and Detecting Malicious Flash Advertisements
—The amount of dynamic content on the web has been steadily increasing. Scripting languages such as JavaScript and browser extensions such as Adobe’s Flash have been instrument...
Sean Ford, Marco Cova, Christopher Kruegel, Giovan...
CSE
2009
IEEE
15 years 6 months ago
A Network-Aware Distributed Membership Protocol for Collaborative Defense
— To counteract current trends in network malware, distributed solutions have been developed that harness the power of collaborative end-host sensors. While these systems greatly...
David Zage, Carl Livadas, Eve M. Schooler