5639 search results - page 89 / 1128 » Timed Abstract Non-interference |
CONCUR
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Concavely-priced probabilistic timed automata, an extension of probabilistic timed automata, are introduced. In this paper we consider expected reachability, discounted, ...
103
Voted
SACRYPT
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. This paper describes a timing attack on the RC5 block encryption algorithm. The analysis is motivated by the possibility that some implementations of RC5 could result in ...
ASIAN
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. A major difficulty for tracking information flow in multithreaded programs is due to the internal timing covert channel. Information is leaked via this channel when secre...
KDD
2000
ACM
15 years 3 months ago
2000
ACM
There has been much recent interest in adapting data mining algorithms to time series databases. Most of these algorithms need to compare time series. Typically some variation of ...
REX
1991
15 years 3 months ago
1991
Abstract. We consider an optimal-reachability problem for a timed automaton with respect to a linear cost function which results in a weighted timed automaton. Our solution to this...