8644 search results - page 342 / 1729 » On the Composition of Secure Systems |
201
click to vote
GI
2005
Springer
16 years 11 days ago
2005
Springer
: Intrusion tolerance is a recent approach to deal with intentional and malicious failures. It combines the research on fault tolerance with the research on security, and relies on...
194
click to vote
DIAU
2000
Springer
15 years 11 months ago
2000
Springer
This paper presents a security analysis of Onion Routing, an application independent infrastructure for tra c-analysis-resistant and anonymous Internet connections. It also includ...
181
Voted
CL
2002
Springer
15 years 6 months ago
2002
Springer
A new notion of security boundary is introduced to model multilevel security policies in the scenario of mobile systems, within Cardelli and Gordon's "pure" mobile ...
168
click to vote
SEFM
2006
IEEE
16 years 26 days ago
2006
IEEE
We present a methodology for modeling heterogeneous real-time components. Components are obtained as the superposition of three layers : Behavior, specified as a set of transitio...
212
Voted
EUC
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. A dramatic increase of event monitoring capabilities by wireless sensors requires new, more sophisticated, event correlation over time and space. This new paradigm implie...