2043 search results - page 151 / 409 » Reasoning About Security Models |
99
Voted
PDPTA
2004
15 years 2 months ago
2004
Abstract-- Service descriptions based on type hiernd abstract service states ruling the availability of operations permit more secure service combinations in distributed systems de...
110
click to vote
CCS
2010
ACM
15 years 1 months ago
2010
ACM
A communication channel from an honest sender A to an honest receiver B can be described as a system with three interfaces labeled A, B, and E (the adversary), respectively, where...
131
Voted
ASIACRYPT
2010
Springer
14 years 10 months ago
2010
Springer
This paper investigates the Random Oracle Model (ROM) feature known as programmability, which allows security reductions in the ROM to dynamically choose the range points of an ide...
130
Voted
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
In this paper we present a hybrid reputation model focused on organizational structures that attempts to solve problems associated with both centralized and decentralized reputatio...
106
click to vote
ILP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this paper, we study how a logical form of scientific modelling that integrates together abduction and induction can be used to understand the functional class of unk...