556 search results - page 60 / 112 » An Abstract Reduction Model for Computer Security Risk |
93
Voted
IEEEARES
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract—Abstract virology has seen the apparition of successive viral models, all based on Turing-equivalent formalisms. Considering recent malware, these are only partially cov...
122
click to vote
ISDA
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--In business analysis, models are sometimes oversimplified. We pragmatically approach many problems with a single financial objective and include monetary values for non-m...
SPIN
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Software model checking problems generally contain two different types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among th...
IPPS
2005
IEEE
15 years 5 months ago
2005
IEEE
Abstract— The increasing use of electronics in the automotive and avionic domain has lead to dramatic improvements with respect to functionality, safety, and cost. However, with ...
AIMS
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. This paper addresses the problem of specifying and establishing secure collaborations between autonomous entities that need to interact and depend on each other in order ...