Probabilistic Cost Enforcement of Security Policies Yannis Mallios1 , Lujo Bauer1 , Dilsun Kaynar1 , Fabio Martinelli2 , and Charles Morisset3 1 2 - Probabilistic automaton - Document - PDFSEARCH.IO

First Page	Meta Content
	Probabilistic Cost Enforcement of Security Policies Yannis Mallios1 , Lujo Bauer1 , Dilsun Kaynar1 , Fabio Martinelli2 , and Charles Morisset3 1 2 Add to Reading List Document Date: 2013-08-04 12:37:28 Open Document File Size: 579,74 KB Share Result on Facebook City Pisa / / Company M and S / / Country Italy / / Facility Newcastle University / Carnegie Mellon University / / IndustryTerm file server / network intrusion detection systems / untrusted software / intrusion detection systems / web browsers / distributed and concurrent systems / / Organization National Research Council / Newcastle University / Carnegie Mellon University / Pittsburgh / / Position abstract scheduler / scheduler / / Technology operating systems / / SocialTag Models of computation Probability theory Boolean algebra Measure theory Sigma-algebra Parity of a permutation Finite-state machine Nondeterministic finite automaton Mathematics Automata theory

Probabilistic Cost Enforcement of Security Policies Yannis Mallios1 , Lujo Bauer1 , Dilsun Kaynar1 , Fabio Martinelli2 , and Charles Morisset3 1 2Add to Reading List