1875 search results - page 202 / 375 » Modeling the Security of Steganographic Systems |
134
click to vote
SP
1999
IEEE
15 years 4 months ago
1999
IEEE
There is often the need to update an installed Intrusion Detection System (IDS) due to new attack methods or upgraded computing environments. Since many current IDSs are construct...
89
Voted
JCS
2002
15 years 9 days ago
2002
Intrusion detection systems (IDSs) must maximize the realization of security goals while minimizing costs. In this paper, we study the problem of building cost-sensitive intrusion...
123
click to vote
CRV
2005
IEEE
15 years 6 months ago
2005
IEEE
Face recognition in video has gained wide attention as a covert method for surveillance to enhance security in a variety of application domains (e.g., airports). A video contains ...
ITP
2010
15 years 4 months ago
2010
Nitpick is a counterexample generator for Isabelle/HOL that builds on Kodkod, a SAT-based first-order relational model finder. Nitpick supports unbounded quantification, (co)ind...
82
Voted
OOPSLA
2007
Springer
15 years 6 months ago
2007
Springer
Generative Programming advocates developing a family of systems rather than a set of single systems. Feature modeling can assist in supporting the development of such software pro...