793 search results - page 133 / 159 » Argumentation and standards of proof |
ACNS
2005
Springer
14 years 4 months ago
2005
Springer
Typical protocols for password-based authentication assume a single server which stores all the information (e.g., the password) necessary to authenticate a user. Unfortunately, a...
RTA
2005
Springer
14 years 4 months ago
2005
Springer
We present a new method for proving termination of term rewriting systems automatically. It is a generalization of the match bound method for string rewriting. To prove that a term...
SPC
2005
Springer
14 years 4 months ago
2005
Springer
In pervasive computing environments, changes in context may trigger changes in an individual’s access permissions. We contend that existing access control frameworks do not provi...
VLDB
2005
ACM
14 years 4 months ago
2005
ACM
This paper proposes the live demonstration of a prototype of MINERVA1 , a novel P2P Web search engine. The search engine is layered on top of a DHT-based overlay network that conn...
SRDS
2003
IEEE
14 years 4 months ago
2003
IEEE
This paper presents our research on devising a dependability assessment method for the upcoming OGSA 3.0 middleware using network level fault injection. We compare existing DCE mi...