127 search results - page 23 / 26 » Testing Security Properties of Protocol Implementations - a ... |
ICAC
2007
IEEE
14 years 2 months ago
2007
IEEE
As the use of virtualization and partitioning grows, it becomes possible to deploy a multi-tier web-based application with a variable amount of computing power. This introduces th...
SACMAT
2003
ACM
14 years 1 months ago
2003
ACM
The focus of access control in client/server environments is on protecting sensitive server resources by determining whether or not a client is authorized to access those resource...
MSV
2004
13 years 10 months ago
2004
A large number of applications can be represented by quantified Boolean formulas (QBF). Although evaluating QBF is NP-hard and thus very difficult, there has been significant progr...
KDD
2004
ACM
14 years 9 months ago
2004
ACM
We present and empirically analyze a machine-learning approach for detecting intrusions on individual computers. Our Winnowbased algorithm continually monitors user and system beh...
GECCO
2008
Springer
13 years 9 months ago
2008
Springer
Bid-based Genetic Programming (GP) provides an elegant mechanism for facilitating cooperative problem decomposition without an a priori specification of the number of team member...