BIOSURVEILLANCE
2008
Springer
14 years 1 months ago
2008
Springer
Salmonella is among the most common food borne illnesses which may result from consumption of contaminated products. In this paper we model the co-occurrence data between USDA-cont...
BIOSURVEILLANCE
2008
Springer
14 years 1 months ago
2008
Springer
The Bayesian Aerosol Release Detector (BARD) is a biosurveillance system for detecting and characterizing disease outbreaks caused by aerosol releases of anthrax. A major challenge...
BIOSURVEILLANCE
2008
Springer
14 years 1 months ago
2008
Springer
Early detection of bio-terrorist attacks is an important problem in public health surveillance. In this paper, we focus on the detection and characterization of outdoor aerosol rel...
ACSAC
2008
IEEE
14 years 1 months ago
2008
IEEE
A concern about personal information confidentiality typically arises when any desktop application communicates to the external network, for example, to its producer's server...
ACSAC
2008
IEEE
14 years 1 months ago
2008
IEEE
Access control policies are often specified in declarative languages. In this paper, we propose a novel approach, called mutation verification, to assess the quality of properties...
ACSAC
2008
IEEE
14 years 1 months ago
2008
IEEE
Much effort has been expended in recent years to create large sets of hash codes from known files. Distributing these sets has become more difficult as these sets grow larger. Mea...
ACSAC
2008
IEEE
14 years 1 months ago
2008
IEEE
Anomaly Detection (AD) sensors compute behavior profiles to recognize malicious or anomalous activities. The behavior of a host is checked continuously by the AD sensor and an ale...
CSFW
2010
IEEE
14 years 2 months ago
2010
IEEE
We consider the problem of automating open bisimulation checking for the spi-calculus, an extension of the pi-calculus with cryptographic primitives. The notion of open bisimulatio...
CCS
2010
ACM
14 years 2 months ago
2010
ACM
Capturing Fast-Flux Service Networks (FFSNs) by temporal variances is an intuitive way for seeking to identify rapid changes of DNS records. Unfortunately, the features regard to ...
ESORICS
2009
Springer
14 years 2 months ago
2009
Springer
Enforcing protection of medical content becomes a major issue of computer security. Since medical contents are more and more widely distributed, it is necessary to develop security...