Sciweavers

1341 search results - page 137 / 269
» Probabilistic Abstraction Hierarchies
Sort
View
SACRYPT
2004
Springer
143views Cryptology» more  SACRYPT 2004»
15 years 12 months ago
Blockwise Adversarial Model for On-line Ciphers and Symmetric Encryption Schemes
Abstract. This paper formalizes the security adversarial games for online symmetric cryptosystems in a unified framework for deterministic and probabilistic encryption schemes. On...
Pierre-Alain Fouque, Antoine Joux, Guillaume Poupa...
ENTCS
2006
145views more  ENTCS 2006»
15 years 6 months ago
A Classification of Time and/or Probability Dependent Security Properties
In multilevel systems it is important to avoid unwanted indirect information flow from higher levels to lower levels, namely the so called covert channels. Initial studnformation ...
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo...
ISI
2006
Springer
15 years 6 months ago
Computational Modeling and Experimental Validation of Aviation Security Procedures
Security of civil aviation has become a major concern in recent years, leading to a variety of protective measures related to airport and aircraft security to be established by re...
Uwe Glässer, Sarah Rastkar, Mona Vajihollahi
TASLP
2011
15 years 1 months ago
Predicting Preference Judgments of Individual Normal and Hearing-Impaired Listeners With Gaussian Processes
Abstract—A probabilistic kernel approach to pairwise preference learning based on Gaussian processes is applied to predict preference judgments for sound quality degradation mech...
Perry Groot, Tom Heskes, Tjeerd Dijkstra, James M....
JAIR
2006
120views more  JAIR 2006»
15 years 6 months ago
FluCaP: A Heuristic Search Planner for First-Order MDPs
We present a heuristic search algorithm for solving first-order Markov Decision Processes (FOMDPs). Our approach combines first-order state abstraction that avoids evaluating stat...
Steffen Hölldobler, Eldar Karabaev, Olga Skvo...