2610 search results - page 19 / 522 » Computational Probabilistic Non-interference |
STACS
1997
Springer
14 years 27 days ago
1997
Springer
Various types of probabilistic proof systems have played a central role in the development of computer science in the last decade. In this exposition, we concentrate on three such...
SIGMOD
2012
ACM
11 years 11 months ago
2012
ACM
While extensive work has been done on evaluating queries over tuple-independent probabilistic databases, query evaluation over correlated data has received much less attention eve...
TCS
2008
13 years 8 months ago
2008
This paper provides one more step towards bridging the gap between the formal and computational approaches to the verification of cryptographic protocols. We extend the well-known ...
NAS
2010
IEEE
13 years 6 months ago
2010
IEEE
The past five years witnessed a rapid development in wireless sensor networks, which have been widely used in military and civilian applications. Due to different requirements in t...
ESORICS
2009
Springer
14 years 9 months ago
2009
Springer
We propose a probabilistic contract signing protocol that achieves balance even in the presence of an adversary that may delay messages sent over secure channels. To show that this...