1875 search results - page 66 / 375 » Modeling the Security of Steganographic Systems |
153
click to vote
SEC
2003
15 years 7 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...
236
click to vote
FOSAD
2009
Springer
16 years 22 days 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...
166
click to vote
SP
2007
IEEE
16 years 13 days 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...
151
click to vote
FC
2009
Springer
16 years 22 days 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...
158
click to vote
COMPSAC
2008
IEEE
16 years 19 days 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...