5843 search results - page 226 / 1169 » Software Security in Practice |
138
click to vote
ICITA
2005
IEEE
15 years 11 months ago
2005
IEEE
Security protocols are indispensable in secure communication. We give an operational semantics of security protocols in terms of a Prolog-like language. With this semantics, we ca...
153
click to vote
ESORICS
2005
Springer
15 years 11 months ago
2005
Springer
Security protocols are critical for protecting modern communication infrastructures and are therefore subject to thorough analysis. However practical implementations of these proto...
125
click to vote
ISPEC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The automotive industry has developed electronic immobilizers to reduce the number of car thefts since the mid nineties. However, there is not much information on the cur...
150
click to vote
HOTOS
2009
IEEE
15 years 9 months ago
2009
IEEE
In this paper, we question the common practice of assigning security impact ratings to OS updates. Specifically, we present evidence that ranking updates by their perceived securi...
180
click to vote
CRYPTO
2010
Springer
15 years 6 months ago
2010
Springer
Multiparty computation protocols have been known for more than twenty years now, but due to their lack of efficiency their use is still limited in real-world applications: the goal...