5255 search results - page 357 / 1051 » Formal Methods for Privacy |
167
click to vote
EUROPKI
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Key agreement protocols are a fundamental building block for ensuring authenticated and private communications between two parties over an insecure network. This paper fo...
139
Voted
ACSAC
2001
IEEE
15 years 8 months ago
2001
IEEE
Traditionally, creation and revocation of certificates are performed manually, by trusted agents, under conditions that are rarely formalized. This approach to certificate managem...
149
Voted
CSFW
2010
IEEE
15 years 8 months ago
2010
IEEE
—Although policy compliance testing is generally treated as a binary decision problem, the evidence gathered during the trust management process can actually be used to examine t...
143
click to vote
SPW
2000
Springer
15 years 8 months ago
2000
Springer
The underlying belief and knowledge models assumed by various kinds of authentication protocols have been studied for well over 10 years now. On the other hand, the related questio...
169
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
It is generally believed that by combining several diverse intrusion detectors (i.e., forming an IDS ensemble), we may achieve better performance. However, there has been very lit...