75 search results - page 4 / 15 » Detecting Policy Violations through Traffic Analysis |
IPPS
2006
IEEE
14 years 3 months ago
2006
IEEE
Violations of a number of common safety properties of multithreaded programs–such as atomicity and absence of dataraces–cannot be observed by looking at the linear execution t...
POLICY
2005
Springer
14 years 3 months ago
2005
Springer
Policy-based management provides the ability to (re-)configure differentiated services networks so that desired Quality of Service (QoS) goals are achieved. Relevant configuration...
SIGCOMM
2010
ACM
13 years 10 months ago
2010
ACM
In this paper, we examine changes in Internet inter-domain traffic demands and interconnection policies. We analyze more than 200 Exabytes of commercial Internet traffic over a tw...
RAID
2004
Springer
14 years 3 months ago
2004
Springer
We present a formal framework for the analysis of intrusion detection systems (IDS) that employ declarative rules for attack recognition, e.g. specification-based intrusion detect...
ICSE
2008
IEEE-ACM
14 years 10 months ago
2008
IEEE-ACM
Nowadays, large-scale industrial software systems may involve hundreds of developers working on hundreds of different but related models representing parts of the same system spec...