89 search results - page 8 / 18 » Secure Composition of Insecure Components |
TSE
2010
13 years 8 months ago
2010
Abstract—In multilevel systems it is important to avoid unwanted indirect information flow from higher levels to lower levels, namely the so called covert channels. Initial stud...
IJSN
2006
13 years 9 months ago
2006
: Detectors are system components that identify whether the system is in a particular state. Detectors can be used to ensure arbitrary safety properties for systems, that is, they ...
HPDC
2003
IEEE
14 years 3 months ago
2003
IEEE
Increasingly, scalable distributed applications are being constructed by integrating reusable components spanning multiple administrative domains. Dynamic composition and deployme...
LISA
2007
14 years 4 days ago
2007
Existing applications often contain security holes that are not patched until after the system has already been compromised. Even when software updates are available, applying the...
JOC
2011
13 years 20 days ago
2011
Physical random number generators (a.k.a. TRNGs) appear to be critical components of many cryptographic systems. Yet, such building blocks are still too seldom provided with a form...