6555 search results - page 558 / 1311 » Secure attribute-based systems |
189
click to vote
KESAMSTA
2007
Springer
16 years 1 months ago
2007
Springer
: Non-repudiation of a mobile payment transaction ensures that when a buyer (B) sends some messages to a seller (S), neither B nor S can deny having participated in this transactio...
164
click to vote
SP
2005
IEEE
16 years 22 days ago
2005
IEEE
We present a distributed algorithm for assembling a proof that a request satisfies an access-control policy expressed in a formal logic, in the tradition of Lampson et al. [16]. ...
189
click to vote
CCS
2001
ACM
15 years 11 months ago
2001
ACM
Abstract. We describe a weakness in the High Bandwidth Digital Content Protection (HDCP) scheme which may lead to practical attacks. HDCP is a proposed identity-based cryptosystem ...
197
click to vote
ACSAC
2004
IEEE
15 years 11 months ago
2004
IEEE
Anomaly-based Intrusion Detection (AID) techniques are useful for detecting novel intrusions without known signatures. However, AID techniques suffer from higher false alarm rate ...
212
click to vote
ESORICS
2006
Springer
15 years 10 months ago
2006
Springer
IDS research still needs to strengthen mathematical foundations and theoretic guidelines. In this paper, we build a formal framework, based on information theory, for analyzing and...