1288 search results - page 58 / 258 » Securing aspect composition |
WICSA
2004
13 years 10 months ago
2004
Early performance analysis based on Queueing Network Models (QNM) has been often proposed to support software designers during the software development process. These approaches a...
SEFM
2009
IEEE
14 years 3 months ago
2009
IEEE
—Contracts and their composition may be used with different goals in a component-based design flow: on the one hand, a component contract describes the guarantees a component is...
IACR
2011
12 years 8 months ago
2011
In this paper, we explore a general methodology for converting composite order pairingbased cryptosystems into the prime order setting. We employ the dual pairing vector space app...
CSFW
1992
IEEE
14 years 1 months ago
1992
IEEE
This paper gives a new definition of Security, which takes causal information into account. The new definition can be used to determine the security of nondeterministic concurrent...
CSFW
1995
IEEE
14 years 18 days ago
1995
IEEE
We investigate the formal relationship between separability of processes and the types of non-interference properties they enjoy. Though intuitively appealing, separability – th...