4330 search results - page 129 / 866 » Analyzing security architectures |
137
Voted
IWPC
2002
IEEE
15 years 10 months ago
2002
IEEE
Most previously published case studies in architecture recovery have been performed on statically linked software systems. Due to the increase in use of middleware technologies, s...
135
click to vote
IJNSEC
2006
15 years 5 months ago
2006
Cluster systems have been gradually more popular and are being broadly used in a variety of applications. On the other hand, many of those systems are not tolerant to system failu...
127
click to vote
KES
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Currently, the major focus on the network security is securing individual components as well as preventing unauthorized access to network service. In this paper, we propo...
122
click to vote
CIDR
2007
15 years 6 months ago
2007
Databases that preserve a historical record of activities and data offer the important benefit of system accountability: past events can be analyzed to detect breaches and maint...
147
Voted
ESORICS
2003
Springer
15 years 10 months ago
2003
Springer
We introduce the on-the-fly model-checker OFMC, a tool that combines two methods for analyzing security protocols. The first is the use of lazy data-types as a simple way of buil...