733 search results - page 102 / 147 » Formal Reasoning About Intrusion Detection Systems |
100
click to vote
MMMACNS
2005
Springer
15 years 5 months ago
2005
Springer
Making correct access-control decisions is central to security, which in turn requires accounting correctly for the identity, credentials, roles, authority, and privileges of users...
115
click to vote
IPPS
2010
IEEE
14 years 9 months ago
2010
IEEE
Multi-pattern string matching remains a major performance bottleneck in network intrusion detection and anti-virus systems for high-speed deep packet inspection (DPI). Although Aho...
118
click to vote
AAMAS
2005
Springer
14 years 11 months ago
2005
Springer
One of the most difficult problems in Multi-Agent Systems (MAS) involves representing the knowledge and beliefs of an agent which performs its tasks in a dynamic environment. New p...
IPPS
2006
IEEE
15 years 5 months ago
2006
IEEE
Information about online presence allows participants of instant messaging (IM) systems to determine whether their prospective communication partners will be able to answer their ...
100
click to vote
ICTAI
2003
IEEE
15 years 5 months ago
2003
IEEE
One of the main reasons behind unfruitful software development projects is that it is often too late to correct the problems by the time they are detected. It clearly indicates th...