SP
2002
IEEE
13 years 11 months ago
2002
IEEE
As networks become faster there is an emerging need for security analysis techniques that can keep up with the increased network throughput. Existing network-based intrusion detec...
SP
2002
IEEE
13 years 11 months ago
2002
IEEE
A security policy specifies session participant requirements. However, existing frameworks provide limited facilities for the automated reconciliation of participant policies. Thi...
SP
2002
IEEE
13 years 11 months ago
2002
IEEE
When complex systems are constructed from simpler components it is important to know how properties of the components behave under composition. In this article, we present various...
SP
2002
IEEE
13 years 11 months ago
2002
IEEE
Server-based collaborative filtering systems have been very successful in e-commerce and in direct recommendation applications. In future, they have many potential applications in...
SP
2002
IEEE
13 years 11 months ago
2002
IEEE
Despite our best efforts, any sufficiently complex computer system has vulnerabilities. It is safe to assume that such vulnerabilities can be exploited by attackers who will be ab...
SP
2002
IEEE
13 years 11 months ago
2002
IEEE
SP
2002
IEEE
13 years 11 months ago
2002
IEEE
This paper presents the work we have done within the MIRADOR project to design CRIM, a cooperative module for intrusion detection systems (IDS). This module implements functions t...
SP
2002
IEEE
13 years 11 months ago
2002
IEEE
This paper shows how system-speci c static analysis can nd security errors that violate rules such as \integers from untrusted sources must be sanitized before use" and \do n...
SP
2002
IEEE
13 years 11 months ago
2002
IEEE
We describe a method for finding security flaws in source code by way of static analysis. The method is notable because it allows a user to specify a wide range of security proper...
ISI
2002
Springer
13 years 11 months ago
2002
Springer
Dealing with large volumes of data, OLAP data cubes aggregated values are often spoiled by errors due to missing values in detailed data. This paper suggests to adjust aggregate an...