756 search results - page 96 / 152 » Modeling Computational Security in Long-Lived Systems |
SP
2002
IEEE
13 years 9 months ago
2002
IEEE
Server-based collaborative filtering systems have been very successful in e-commerce and in direct recommendation applications. In future, they have many potential applications in...
WCCE
2001
13 years 11 months ago
2001
: The University of the United Arab Emirates (UAEU) commissioned an international panel of experts to devise a model curriculum for their new College of Information Technology. The...
CMSB
2006
Springer
14 years 1 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...
RAID
2010
Springer
13 years 8 months ago
2010
Springer
Enterprise networks face a variety of threats including worms, viruses, and DDoS attacks. Development of effective defenses against these threats requires accurate inventories of n...
ACSD
2003
IEEE
14 years 3 months ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...