425 search results - page 43 / 85 » Audit |
NDSS
2000
IEEE
14 years 3 hour ago
2000
IEEE
We describe a new technique for finding potential buffer overrun vulnerabilities in security-critical C code. The key to success is to use static analysis: we formulate detection...
ASIACRYPT
2000
Springer
13 years 12 months ago
2000
Springer
Abstract. Naor and Pinkas introduced metering schemes at Eurocrypt ’98 in order to decide on advertisement fees for web servers. In the schemes, any server should be able to cons...
CCS
2000
ACM
13 years 12 months ago
2000
ACM
The extensible markup language (XML) is a promising standard for describing semi-structured information and contents on the Internet. When XML comes to be a widespread data encodi...
CCS
2000
ACM
13 years 12 months ago
2000
ACM
This paper describes a security model for mobile agent based systems. The model defines the notion of a security-enhanced agent and outlines security management components in agen...
ACSAC
1998
IEEE
13 years 12 months ago
1998
IEEE
Network-based attacks have become common and sophisticated. For this reason, intrusion detection systems are now shifting their focus from the hosts and their operating systems to...