577 search results - page 9 / 116 » Engineering Sufficiently Secure Computing |
EUROMICRO
2009
IEEE
15 years 1 months ago
2009
IEEE
Cloud computing uses virtualization technologies to offer a non-shared use rental of computer resources with publicly accessible worker nodes. However, unlike Grid computing, Cloud...
SOCO
2008
Springer
14 years 9 months ago
2008
Springer
Abstract. Extensible Component Platforms support the discovery, installation, starting, uninstallation of components at runtime. Since they are often targeted at mobile resource-co...
98
Voted
COMPSAC
2010
IEEE
14 years 6 months ago
2010
IEEE
Security analysis methods can provide correct yet meaningless results if the assumptions underlying the model do not conform to reality. We present an approach to analyze the secur...
ICSE
2007
IEEE-ACM
15 years 9 months ago
2007
IEEE-ACM
We present a software tool and a framework for security protocol change management. While we focus on trust negotiation protocols in this paper, many of the ideas are generally ap...
C3S2E
2009
ACM
15 years 1 months ago
2009
ACM
This paper proposes a security analysis framework for dynamic web applications. A reverse engineering process is performed over a dynamic web application to extract a rolebased ac...