3605 search results - page 366 / 721 » Securing Security Policies in Autonomic Computing Systems |
173
click to vote
ARCS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
177
click to vote
CCS
2001
ACM
15 years 11 months ago
2001
ACM
Authenticating mobile computing users can require a significant amount of processing and communications resources— particularly when protocols based on public key encryption are...
150
click to vote
FAST
2003
15 years 8 months ago
2003
We show how untrusted computers can be used to facilitate secure mobile data access. We discuss a novel architecture, data staging, that improves the performance of distributed ď¬...
126
Voted
ICCS
2004
Springer
16 years 5 days ago
2004
Springer
This paper presents Group Membership Service for JXTA extended with single or bi-directional authentication. The proposed solution exploits certificates and PKI (Public Key Infrast...
163
click to vote
JCS
2002
15 years 6 months ago
2002
Vulnerability analysis is concerned with the problem of identifying weaknesses in computer systems that can be exploited to compromise their security. In this paper we describe a ...