Sciweavers

525 search results - page 27 / 105
» A Fair e-Tendering Protocol
Sort
View
OTM
2007
Springer
14 years 2 months ago
A Multi-party Rational Exchange Protocol
In recent years, existing computing schemes and paradigms have evolved towards more flexible, ad-hoc scalable frameworks. Nowadays, exchanging interactions between entities often ...
Almudena Alcaide, Juan M. Estévez-Tapiador,...
INFOCOM
2008
IEEE
14 years 3 months ago
On the Design of Load Factor based Congestion Control Protocols for Next-Generation Networks
— Load factor based congestion control schemes have shown to enhance network performance, in terms of utilization, packet loss and delay. In these schemes, using more accurate re...
Ihsan A. Qazi, Taieb Znati
CSFW
2007
IEEE
14 years 3 months ago
LTL Model Checking for Security Protocols
Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that prevent their applicability...
Alessandro Armando, Roberto Carbone, Luca Compagna
VOTEID
2007
Springer
14 years 2 months ago
Simulation-Based Analysis of E2E Voting Systems
Abstract. End-to-end auditable voting systems are expected to guarantee very interesting, and often sophisticated security properties, including correctness, privacy, fairness, rec...
Olivier de Marneffe, Olivier Pereira, Jean-Jacques...
IQ
2000
13 years 10 months ago
Improving Information Quality in Loan Approval Processes for Fair Lending and Fair Pricing
: Current banking data management on loan approval processes has great room for improvements of information quality and prevention of data problems in general, but especially with ...
M. Cary Collins, Frank M. Guess