1653 search results - page 178 / 331 » Timed analysis of security protocols |
125
Voted
IEEEARES
2006
IEEE
15 years 8 months ago
2006
IEEE
We present a new approach to integrated security and dependability evaluation, which is based on stochastic modelling techniques. Our proposal aims to provide operational measures...
119
Voted
SBCCI
2005
ACM
15 years 8 months ago
2005
ACM
The physical implementation of cryptographic algorithms may leak to some attacker security information by the side channel data, as power consumption, timing, temperature or elect...
118
Voted
ICSE
2009
IEEE-ACM
15 years 11 days ago
2009
IEEE-ACM
Abstract--Security evaluation according to ISO 15408 (Common Criteria) is a resource and time demanding activity, as well as being costly. For this reason, only few companies take ...
110
Voted
JNW
2006
15 years 2 months ago
2006
This paper presents a new approach to integrated security and dependability evaluation, which is based on stochastic modeling techniques. Our proposal aims to provide operational m...
123
Voted
PLDI
2006
ACM
15 years 8 months ago
2006
ACM
The number and the importance of web applications have increased rapidly over the last years. At the same time, the quantity and impact of security vulnerabilities in such applica...