8503 search results - page 32 / 1701 » Secure Software Architectures |
CISIS
2010
IEEE
14 years 3 months ago
2010
IEEE
Abstract—Security-by-Contract (S×C) is a paradigm providing security assurances for mobile applications. In this work, we present an extension of S×C enriched with an automatic...
HPDC
1999
IEEE
14 years 1 months ago
1999
IEEE
Seamless access to different systems of different vendors at different sites is an important prerequisite to effective and efficient use of distributed resources. Learning about n...
CCS
2009
ACM
14 years 3 months ago
2009
ACM
Open distributed systems such as service oriented architecture and cloud computing have emerged as promising platforms to deliver software as a service to users. However, for many...
SIGOPS
2008
13 years 8 months ago
2008
Virtualization technology is becoming increasingly common in datacenters, since it allows for collocation of multiple workloads, consisting of operating systems, middleware and ap...
EUROSYS
2006
ACM
14 years 5 months ago
2006
ACM
The large size and high complexity of securitysensitive applications and systems software is a primary cause for their poor testability and high vulnerability. One approach to all...