5119 search results - page 264 / 1024 » Security Privacy |
162
Voted
ESORICS
2009
Springer
16 years 6 months ago
2009
Springer
We present a formal model for stateful security protocols. This model is used to define ownership and ownership transfer as concepts as well as security properties. These definitio...
158
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
Security decision-making is hard for both humans and machines. This is because security decisions are context-dependent, require highly dynamic, specialized knowledge, and require...
154
click to vote
PAISI
2007
Springer
16 years 12 days ago
2007
Springer
Vulnerabilities in network protocol software have been problematic since Internet infrastructure was deployed. These vulnerabilities damage the reliability of network software and ...
138
click to vote
IEEEARES
2006
IEEE
16 years 9 days ago
2006
IEEE
In this paper we present a mixed qualitative and quantitative approach for evaluation of Information Technology (IT) security investments. For this purpose, we model security scen...
167
click to vote
CSFW
2002
IEEE
15 years 11 months ago
2002
IEEE
We study a security property for processes in dynamic contexts, i.e., contexts that can be reconfigured at runtime. The security property that we propose in this paper, named Per...