2043 search results - page 314 / 409 » Reasoning About Security Models |
177
click to vote
SAC
2006
ACM
15 years 11 months ago
2006
ACM
The Coalition Peering Domain (CPD) is a recent innovation within the field of mesh networking. It facilitates the management of community-area networks in a distributed and scala...
162
click to vote
QEST
2005
IEEE
15 years 10 months ago
2005
IEEE
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
170
Voted
CCS
2005
ACM
15 years 10 months ago
2005
ACM
Existing reputation systems used by online auction houses do not address the concern of a buyer shopping for commodities—finding a good bargain. These systems do not provide in...
138
click to vote
RIVF
2007
15 years 6 months ago
2007
— This paper investigates the problem of secret key transmissions for an arbitrary Alice-Bob pair in Quantum Key Distribution (QKD)-based networks. We develop a realistic QKDbase...
133
Voted
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....