1599 search results - page 41 / 320 » Program Analysis for Security and Privacy |
BIOSURVEILLANCE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The paper presents a description of the FMD BioPortal biosurveillance system (http://fmd.ucdavis.edu/bioportal/) that is currently operating to capture, analyze, and diss...
100
click to vote
ACSAC
2001
IEEE
15 years 5 months ago
2001
IEEE
This paper describes the implementation of an enforcement module for file system security implemented as part of a security architecture for distributed systems which enforces a c...
110
click to vote
DIAU
2000
Springer
15 years 6 months ago
2000
Springer
In the past independent IT security evaluation according to published criteria has not realized its potential for the assessment of privacy enhancing technologies (PETs). Main rea...
133
click to vote
ACSAC
2009
IEEE
15 years 8 months ago
2009
IEEE
—Malicious software is rampant on the Internet and costs billions of dollars each year. Safe and thorough analysis of malware is key to protecting vulnerable systems and cleaning...
122
click to vote
CCS
2003
ACM
15 years 7 months ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...