556 search results - page 44 / 112 » An Abstract Reduction Model for Computer Security Risk |
HAIS
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Cooperative Coevolution is a technique in the area of Evolutionary Computation. It has been applied to many combinatorial problems with great success. This contribution p...
102
click to vote
SACMAT
2005
ACM
15 years 5 months ago
2005
ACM
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard...
112
click to vote
ESORICS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
CTRSA
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. In this paper, we first demonstrate a gap between the security of verifiably committed signatures in the two-party setting and the security of verifiably committed signat...
94
Voted
DSOM
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Nowadays, network load is constantly increasing and high-speed infrastructures (1-10Gbps) are becoming increasingly common. In this context, flow-based intrusion detecti...