Wyniki wyszukiwania - BazTech

Ograniczanie wyników

2 Fundamenta Informaticae

2 Gruska D.P.

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: surprisal

Sortuj według:

Ogranicz wyniki do:

Process Algebra Contexts and Security Properties

Gruska D.P.

Fundamenta Informaticae

2010

Vol. 102, nr 1

63-76

A general framework for defining security properties is presented. It allows us to model many traditional security properties as well as to define new ones. The framework is based on process algebras contexts and processes relations. By appropriate choice of both of them we can model also probabilistic and quantified security properties.

Quantifying Security for Timed Process Algebras

Gruska D.P.

Fundamenta Informaticae

2009

Vol. 93, nr 1-3

155-169

A quantification of process's security by quantification of an amount of information flow is defined and studied in the framework of timed process algebras. The resulting quantified security is compared with other (qualitative) security notions. Unprecise and limited observations are defined and discussed.