198 search results - page 30 / 40 » Describing Secure Interfaces with Interface Automata |
JSAC
2007
15 years 1 months ago
2007
In this article, we describe our experiences in implementing an experimental wide-area GMPLS network called CHEETAH (Circuit-Switched End-to-End Transport Architecture). The key c...
109
click to vote
WAN
1998
Springer
15 years 5 months ago
1998
Springer
In this paper the Northrhine-Westphalian metacomputing initiative is described. We start by discussing various general aspects of metacomputing and explain the reasons for founding...
130
click to vote
SOSP
2003
ACM
15 years 10 months ago
2003
ACM
We present a flexible architecture for trusted computing, called Terra, that allows applications with a wide range of security requirements to run simultaneously on commodity har...
101
click to vote
ECOOPW
1999
Springer
15 years 5 months ago
1999
Springer
Extensible systems, such as Java or the SPIN extensible operating system, allow for units of code, or extensions, to be added to a running system in almost arbitrary fashion. Exte...
IEEESP
2006
15 years 1 months ago
2006
abstraction a use case model offers makes it an appropriate startingpointforsoftwaresecurityanalysis and design activities. In contrast, a misuse case describes potential system be...