2270 search results - page 265 / 454 » Modelling Secure IT Systems - A Survey |
203
click to vote
CRV
2005
IEEE
16 years 4 days 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 ...
142
click to vote
ITP
2010
15 years 10 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...
153
click to vote
OOPSLA
2007
Springer
16 years 19 days 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...
199
click to vote
SMC
2010
IEEE
15 years 4 months ago
2010
IEEE
—A novel capability for modelling and simulating intra- and inter-organizational collaboration in an emergencyresponse domain is presented. This capability combines the prescript...
212
click to vote
APNOMS
2008
Springer
15 years 8 months ago
2008
Springer
As network attacks have increased in number and severity over the past few years, intrusion detection system (IDS) is increasingly becoming a critical component to secure the netwo...