674 search results - page 27 / 135 » Using Abuse Case Models for Security Requirements Analysis |
CSFW
2007
IEEE
15 years 4 months ago
2007
IEEE
Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that prevent their applicability...
INFOCOM
2003
IEEE
15 years 2 months ago
2003
IEEE
— It has been clear since 1988 that self-propagating code can quickly spread across a network by exploiting homogeneous security vulnerabilities. However, the last few years have...
CORR
2008
Springer
14 years 9 months ago
2008
Springer
Getting agents in the Internet, and in networks in general, to invest in and deploy security features and protocols is a challenge, in particular because of economic reasons arisi...
105
click to vote
FORTE
2003
14 years 11 months ago
2003
Abstract. This paper describes the analysis of Pull-Based Asynchronous Rekeying Framework (ARF), a recently proposed solution to the scalable group key management problem in secure...
CDC
2010
IEEE
14 years 4 months ago
2010
IEEE
In this paper, we analyze the cyber security of state estimators in Supervisory Control and Data Acquisition (SCADA) systems operating in power grids. Safe and reliable operation o...