2610 search results - page 205 / 522 » Computational Probabilistic Non-interference |
135
click to vote
FOSSACS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We study the interaction between non-deterministic and probabilistic behaviour in systems with continuous state spaces, arbitrary probability distributions and uncountabl...
145
click to vote
ISOLA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper presents a formal analysis of the device discovery phase of the Bluetooth wireless communication protocol. The performance of this process is the result of a c...
132
Voted
SSS
2009
Springer
15 years 8 months ago
2009
Springer
Self-stabilization is an elegant way of realizing non-masking fault-tolerant systems. Sustained research over last decades has produced multiple self-stabilizing algorithms for man...
137
click to vote
POPL
2000
ACM
15 years 8 months ago
2000
ACM
It has been shown that secret information can be leaked to external observers through covert timing channels. In this paper we are concerned with a kind of timing attack that want...
124
click to vote
ENTCS
2007
15 years 3 months ago
2007
In this paper we present an analysis of a MAC (Medium Access Control) protocol for wireless sensor networks. The purpose of this protocol is to manage wireless media access by con...