119 search results - page 1 / 24 » Confidentiality-Preserving Refinement is Compositional - Som... |
ESSOS
2009
Springer
13 years 8 months ago
2009
Springer
Abstract. We present an approach to security requirements engineering, which makes use of special kinds of problem frames that serve to structure, characterize, analyze, and solve ...
IFM
2009
Springer
13 years 2 months ago
2009
Springer
This paper introduces action refinement in the context of CSP B. Our motivation to include this notion of refinement within the CSP B framework is the desire to increase flexibilit...
COMPOS
1997
Springer
13 years 9 months ago
1997
Springer
We introduce a mathematical model of components that can be used for the description of both hardware and software units forming distributed interactive systems. As part of a distr...
DALT
2009
Springer
13 years 8 months ago
2009
Springer
This paper generalises the theory of agent refinement from [1] to multi-agent systems in the presence of new coordination mechanisms extended with real time. The generalisation is ...
TVLSI
2008
13 years 4 months ago
2008
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...