143 search results - page 15 / 29 » Secure Intelligent Agents Based on Formal Description Techni... |
IAT
2007
IEEE
14 years 2 months ago
2007
IEEE
The paper presents security platform based on agents as an efficient and robust solution for high-performance intrusion detection system designed for deployment on highspeed netw...
WSC
2004
13 years 9 months ago
2004
Traditional approaches to security evaluation have been based on penetration testing of real systems, or analysis of formal models of such systems. The former suffer from the prob...
IAT
2008
IEEE
14 years 2 months ago
2008
IEEE
In intelligence analysis, information plays an important role in solving problems and making decisions. However, an increasing number of malicious behaviors, most of which come fr...
CIKM
2008
Springer
13 years 10 months ago
2008
Springer
Sanitization of a document involves removing sensitive information from the document, so that it may be distributed to a broader audience. Such sanitization is needed while declas...
IJISEC
2008
13 years 8 months ago
2008
We present a model checking technique for security protocols based on a reduction to propositional logic. At the core of our approach is a procedure that, given a description of th...