503 search results - page 2 / 101 » A Framework for Reasoning on Component Composition |
ENTCS
2010
13 years 5 months ago
2010
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...
CBMS
2002
IEEE
13 years 10 months ago
2002
IEEE
We present a Personalized Health Information Generation and Delivery System that leverages case based reasoning techniques to dynamically author a Personalized Health Information ...
IEE
2010
13 years 3 months ago
2010
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
IANDC
2008
13 years 5 months ago
2008
Automatic security protocol analysis is currently feasible only for small protocols. Since larger protocols quite often are composed of many small protocols, compositional analysi...
STTT
2008
13 years 4 months ago
2008
