2270 search results - page 244 / 454 » Modelling Secure IT Systems - A Survey |
145
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
Single-Sign-On (SSO) protocols enable companies to establish a federated environment in which clients sign in the system once and yet are able to access to services offered by dif...
127
click to vote
SAFECOMP
2001
Springer
15 years 9 months ago
2001
Springer
This paper focuses on the development of a conceptual framework for integrating fault injection mechanisms into the RDD-100 tool2 to support the dependability analysis of computer...
159
click to vote
SAFECOMP
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, si...
131
click to vote
ESORICS
2009
Springer
16 years 5 months ago
2009
Springer
A botnet is a network of compromised hosts that is under the control of a single, malicious entity, often called the botmaster. We present a system that aims to detect bots, indepe...
133
click to vote
WS
2005
ACM
15 years 10 months ago
2005
ACM
The growing popularity of mobile networks makes them increasingly attractive to virus writers, and malicious code targeting mobile devices has already begun to appear. Unfortunate...