1653 search results - page 108 / 331 » Timed analysis of security protocols |
DAS
2010
Springer
15 years 7 months ago
2010
Springer
Optical scan voting is considered by many to be the most trustworthy option for conducting elections because it provides an independently verifiable record of each voter’s inte...
119
click to vote
CLUSTER
1999
IEEE
15 years 2 months ago
1999
IEEE
Three protocols for gossip-based failure detection services in large-scale heterogeneous clusters are analyzed and compared. The basic gossip protocol provides a means by which fai...
135
Voted
IEEEARES
2009
IEEE
15 years 9 days ago
2009
IEEE
We present an automatic analyzer for measuring information flow within software systems. In this paper, we quantify leakage in terms of information theory and incorporate this comp...
136
Voted
CORR
2010
Springer
14 years 12 months ago
2010
Springer
We consider the problem of intruder deduction in security protocol analysis: that is, deciding whether a given message M can be deduced from a set of messages under the theory of ...
123
Voted
ICDE
2007
IEEE
15 years 9 months ago
2007
IEEE
In a secure mediated information system, confidentiality is one of the main concerns when transmitting data from datasources to clients via a mediator. We present three approache...