15644 search results - page 384 / 3129 » Brittle System Analysis |
214
click to vote
CCS
2005
ACM
16 years 12 days ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
197
click to vote
MLCW
2005
Springer
16 years 11 days ago
2005
Springer
The Recognizing Textual Entailment System shown here is based on the use of a broad-coverage parser to extract dependency relationships; in addition, WordNet relations are used to ...
208
click to vote
ICICS
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. The NRL Pump protocol defines a multilevel secure component whose goal is to minimize leaks of information from high level systems to lower level systems, without degrad...
166
click to vote
ITRUST
2004
Springer
16 years 7 days ago
2004
Springer
Security and trust are two properties of modern computing systems that are the focus of much recent interest. They play an increasingly significant role in the requirements for mo...
207
click to vote
CAISE
2003
Springer
16 years 3 days ago
2003
Springer
Abstract. Information systems engineering for design or knowledge communities is characterized by the fact that these communities constantly monitor themselves and initiate repair ...