1875 search results - page 66 / 375 » Modeling the Security of Steganographic Systems |
104
Voted
SEC
2003
15 years 2 months ago
2003
: The paper contains presentation of a framework, which would significantly increase quality of information security products and procedures, and Commentary on difficulties of impl...
155
Voted
FOSAD
2009
Springer
15 years 7 months ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...
SP
2007
IEEE
15 years 7 months ago
2007
IEEE
Information-flow security policies are an appealing way of specifying confidentiality and integrity policies in information systems. Most previous work on language-based securit...
FC
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. This paper analyzes the threat of distributed attacks by developing a two-sided multiplayer model of security in which attackers aim to deny service and defenders strateg...
95
Voted
COMPSAC
2008
IEEE
15 years 7 months ago
2008
IEEE
This work introduces probabilistic model checking as a viable tool-assisted approach for systematically quantifying DoS security threats. The proposed analysis is based on a proba...