1875 search results - page 240 / 375 » Modeling the Security of Steganographic Systems |
97
Voted
ACSAC
2002
IEEE
15 years 5 months ago
2002
IEEE
The threat to organisations from network attacks is very real. Current countermeasures to denial of service (DoS) attacks rely on the perimeter model of network security. However,...
113
click to vote
IMC
2009
ACM
15 years 7 months ago
2009
ACM
Statistical machine learning techniques have recently garnered increased popularity as a means to improve network design and security. For intrusion detection, such methods build ...
110
click to vote
CW
2003
IEEE
15 years 5 months ago
2003
IEEE
Information and infrastructure security is a serious issue of global concern. As the last line of defense for security infrastructure, intrusion detection techniques are paid more...
88
Voted
MODELS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
121
Voted
CMSB
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...