8644 search results - page 36 / 1729 » On the Composition of Secure Systems |
IEEEARES
2010
IEEE
14 years 2 months ago
2010
IEEE
—Trusted Computing aims at enhancing the security of IT systems by using a combination of trusted hardware and software components to provide security guarantees. This includes s...
CCGRID
2005
IEEE
14 years 1 months ago
2005
IEEE
We have designed a stackable file system called Redundant Array of Independent Filesystems (RAIF). It combines the data survivability properties and performance benefits of trad...
FOSSACS
2009
Springer
14 years 2 months ago
2009
Springer
Although cryptographic protocols are typically analyzed in isolation, they are used in combinations. If a protocol was analyzed alone and shown to meet some security goals, will it...
TES
2005
Springer
14 years 1 months ago
2005
Springer
The development of composite Web services is still not as simple as the original vision indicated. Currently, the designer of a composite service needs to consider many different ...
FSKD
2006
Springer
13 years 11 months ago
2006
Springer
Information security evaluation of software-intensive systems typically relies heavily on the experience of the security professionals. Obviously, automated approaches are needed ...