5 search results - page 1 / 1 » Pattern-Based Confidentiality-Preserving Refinement |
ESSOS
2009
Springer
13 years 11 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 ...
ESORICS
2002
Springer
14 years 7 months ago
2002
Springer
Confidentiality-preserving refinement describes a relation between a specification and an implementation that ensures that all confidentiality properties required in the specificat...
DSD
2006
IEEE
13 years 11 months ago
2006
IEEE
We present a performance-oriented refinement approach that refines a perfectly synchronous communication model onto Network-on-Chip (NoC) communication. We first identify four bas...
IEEEARES
2010
IEEE
13 years 11 months ago
2010
IEEE
Almost every company needs to process invoices to either claim money from their customers or to pay for products or services. Although companies are allowed to electronically proce...
HPDC
2009
IEEE
14 years 2 months ago
2009
IEEE
This paper presents the concept of pluggable parallelisation that allows scientists to develop “sequential like” codes that can take advantage of multi-core, cluster and grid ...