8644 search results - page 142 / 1729 » On the Composition of Secure Systems |
173
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present a brief overview of the tool Ticc (Tool for Interface Compatibility and Composition). In Ticc, a component interface describes both the behavior of a component...
146
click to vote
WOSP
2004
ACM
15 years 12 months ago
2004
ACM
We propose an automated compositional approach for component-based performance engineering, called the CB-SPE. It adapts to a CB framework the concepts and steps of the wellknown ...
164
click to vote
JUCS
2007
15 years 6 months ago
2007
: Payment systems need to address a number of security issues in order to be an effective and secure means of transferring payments across the Internet. To be accessible to a wider...
208
click to vote
ICMCS
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper describes a method of stereo image composition for video see-through augmented reality. In order to implement an augmented reality system, we must acquire the position ...
170
click to vote
SECURWARE
2008
IEEE
16 years 28 days ago
2008
IEEE
—A security pattern describes a particular recurring security problem that arises in specific contexts, and presents a well-proven generic solution for it [1]. This paper descri...