733 search results - page 16 / 147 » Formal Reasoning About Intrusion Detection Systems |
109
click to vote
JAIHC
2010
14 years 10 months ago
2010
The state of the art is explored in using soft computing (SC) methods for network intrusion detection, including the examination of efforts in ten specific areas of SC as well as ...
EHCI
2001
15 years 1 months ago
2001
Abstract. Systematic user errors commonly occur in the use of interactive systems. We describe a formal reusable user model implemented in higher-order logic that can be used for m...
SBIA
2004
Springer
15 years 5 months ago
2004
Springer
During the development of system requirements, software system specifications are often inconsistent. Inconsistencies may arise for different reasons, for example, when multiple...
CIA
2004
Springer
15 years 5 months ago
2004
Springer
Given a specification of communication rules in a multiagent system (in the form of protocols, ACL semantics, etc.), the question of how to design appropriate agents that can oper...
106
click to vote
ATVA
2005
Springer
15 years 5 months ago
2005
Springer
Mobile ad hoc networks offer very interesting perspectives in wireless communications due to their easy deployment and their growing performances. However, due to their inherent c...