8644 search results - page 132 / 1729 » On the Composition of Secure Systems |
174
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
A natural trend in most of the engineering disciplines is the construction of systems from components. This has the potential to reduce costs and increase reliability, provided th...
170
click to vote
COLING
1996
15 years 7 months ago
1996
The paper discusses how compositional semantics is implemented in the Verbmobil speech-to-speech translation system using LUD, a description language for underspecified discourse ...
167
click to vote
TCC
2009
Springer
16 years 7 months ago
2009
Springer
We propose a general security definition for cryptographic quantum protocols that implement classical non-reactive two-party tasks. The definition is expressed in terms of simple q...
147
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Most software-intensive systems rely on a componentbased design and are therefore made up of encapsulated structural units which are hierarchically composed of one another. In thi...
148
click to vote
ICDCSW
2008
IEEE
16 years 29 days ago
2008
IEEE
In this position paper we investigate the security of cyberphysical systems. We (1) identify and define the problem of secure control, (2) investigate the defenses that informati...