8 search results - page 1 / 2 » Modelling and Analysing Network Security Policies in a Given... |
CRITIS
2006
13 years 8 months ago
2006
CCS
2007
ACM
13 years 11 months ago
2007
ACM
: To understand overall vulnerability to network attack, one must consider attacker exploits not just in isolation, but also in combination. That is, one must analyze how low-level...
SASN
2003
ACM
13 years 10 months ago
2003
ACM
The purpose of this work is to automate the analysis of ad hoc routing protocols in the presence of attackers. To this end, a formal model of protocol behavior is developed in whi...
POLICY
2007
Springer
13 years 11 months ago
2007
Springer
The richness of today’s electronic communications mirrors physical world: activities such as shopping, business and scientific collaboration are conducted online. Current intera...
IWIA
2005
IEEE
13 years 10 months ago
2005
IEEE
Malware defenses have primarily relied upon intrusion fingerprints to detect suspicious network behavior. While effective for discovering computers that are already compromised,...